Treffer 1 – 2 von 2 für Suche 'Madden, Peter', 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
    General techniques for automatic program optimization and synthesis through theorem proving

    General techniques for automatic program optimization and synthesis through theorem proving von Madden, Peter, Bundy, Alan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Recursive program optimization through inductive synthesis proof transformation

    Recursive program optimization through inductive synthesis proof transformation von Madden, Peter

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: