Treffer 1 – 4 von 4 für Suche 'Slotosch, Oscar', Suchdauer: 0,02s 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
    Refinements in HOLCF implementation of interactive systems

    Refinements in HOLCF implementation of interactive systems von Slotosch, Oscar

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Analogieschlüsse beim automatischen Beweisen

    Analogieschlüsse beim automatischen Beweisen von Slotosch, Oscar

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Refinements in HOLCF implementation of interactive systems

    Refinements in HOLCF implementation of interactive systems von Slotosch, Oscar

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Implementing the change of data structures with SPECTRUM in the framework of KORSO development graphs

    Implementing the change of data structures with SPECTRUM in the framework of KORSO development graphs von Slotosch, Oscar

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: