Treffer 1 – 3 von 3 für Suche 'Aiello, Mario', Suchdauer: 0,03s 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
    Un sistema interattivo per la dimostrazione di proprietà di programmi e schemi

    Un sistema interattivo per la dimostrazione di proprietà di programmi e schemi von Aiello, Luigia, Aiello, Mario, Prini, Franco

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proving program correctness in LCF

    Proving program correctness in LCF von Aiello, Luigia, Aiello, Mario

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Optimal matching of wheat chromosomes

    Optimal matching of wheat chromosomes von Aiello, Mario, Lami, C., Montanari, Ugo 1943-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: