Treffer 1 – 6 von 6 für Suche 'Giacobazzi, Roberto', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    History of abstract interpretation

    History of abstract interpretation von Giacobazzi, Roberto, Ranzato, Francesco

    Veröffentlicht 2022

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages von Giacobazzi, Roberto

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Leonardo artefice dal disegno alla macchina : modelli dal Museo Leonardiano di Vinci

    Leonardo artefice dal disegno alla macchina : modelli dal Museo Leonardiano di Vinci von Giacobazzi, Roberto, Nanni, Romano, Cesari, Paola, Olivato, Loredana 1943-, Bentivoglio Fales, Marina

    Veröffentlicht 2010
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A general framework for semantics-based bottom-up abstract interpretation of logic programs

    A general framework for semantics-based bottom-up abstract interpretation of logic programs von Barbuti, Roberto, Giacobazzi, Roberto, Levi, Giorgio 1942-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

    Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Analysis, verification and transformation for declarative programming and intelligent systems essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

    Analysis, verification and transformation for declarative programming and intelligent systems essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

    Veröffentlicht 2023
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: