Treffer 1 – 6 von 6 für Suche 'Jansohn, Hans-Stephan', Suchdauer: 0,01s 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
    Automated Generation of optimized code

    Automated Generation of optimized code von Jansohn, Hans-Stephan

    Veröffentlicht 1985
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A code generator for Ada

    A code generator for Ada von Jansohn, Hans-Stephan, Landwehr, Rudolf

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Automated generation of optimized code

    Automated generation of optimized code von Jansohn, Hans-Stephan

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Automated generation of optimized code

    Automated generation of optimized code von Jansohn, Hans-Stephan

    Veröffentlicht 1985
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A code generator for Ada

    A code generator for Ada von Jansohn, Hans-Stephan

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Design, implementation and results of an interactive proof system for higher order logic

    Design, implementation and results of an interactive proof system for higher order logic von Jansohn, Hans-Stephan, Landwehr, Rudolf, Wrightson, Graham

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: