Showing 1 - 11 results of 11 for search 'Sieber, Kurt', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    In den Gärkammern reift jetzt Kreativität das Königsberger Brauhaus wird zum Kunsthandwerkerhof

    In den Gärkammern reift jetzt Kreativität das Königsberger Brauhaus wird zum Kunsthandwerkerhof by Sieber, Kurt

    Published 1997

    Get full text
    Article Interlibrary loan Place Request


    Saved in:
  2. 2
    Jubiläums-Ausgabe der Theatergemeinden-Information Ingolstadt, 25. Oktober 1990 ; unser 25. Geburtstag

    Jubiläums-Ausgabe der Theatergemeinden-Information Ingolstadt, 25. Oktober 1990 ; unser 25. Geburtstag by Sieber, Kurt

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Full abstraction for the second order subset of an ALGOL-like language

    Full abstraction for the second order subset of an ALGOL-like language by Sieber, Kurt

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Full abstraction for the second order subset of an ALGOL-like language preliminary report

    Full abstraction for the second order subset of an ALGOL-like language preliminary report by Sieber, Kurt

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    The foundations of program verification

    The foundations of program verification by Loeckx, Jacques, Sieber, Kurt

    Published 1987
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Towards fully abstract semantics for local variables preliminary report

    Towards fully abstract semantics for local variables preliminary report by Meyer, Albert R., Sieber, Kurt

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    The foundations of program verification

    The foundations of program verification by Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Begegnung mit sächsisch-coburgischer Vergangenheit ein Gewinn für Königsberg war der Anschluß an Bayern nicht

    Begegnung mit sächsisch-coburgischer Vergangenheit ein Gewinn für Königsberg war der Anschluß an Bayern nicht by Sieber, Kurt

    Published 1995
    Article Interlibrary loan Place Request


    Saved in:
  9. 9
    Die "Modale Logik der Prozeduren" e. Erweiterung d. Hoare-Logik, die es ermöglicht, Korrektheitsbeweise im Sinne d. "stepwise refinement" zu führen

    Die "Modale Logik der Prozeduren" e. Erweiterung d. Hoare-Logik, die es ermöglicht, Korrektheitsbeweise im Sinne d. "stepwise refinement" zu führen by Sieber, Kurt

    Published 1984
    Thesis Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A new Hoare-calculus for programs with recursive parameterless procedures

    A new Hoare-calculus for programs with recursive parameterless procedures by Sieber, Kurt

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Relative completeness of a Hoare-calculus for while-programs

    Relative completeness of a Hoare-calculus for while-programs by Sieber, Kurt

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: