Showing 1 - 6 results of 6 for search 'Reus, Bernhard 1965-', query time: 0.04s 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
    Limits of computation from a programming perspective

    Limits of computation from a programming perspective by Reus, Bernhard 1965-

    Published 2016
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Algebraische Spezifikation mit Funktionen höherer Ordnung Verfasser: Bernhard Reus

    Algebraische Spezifikation mit Funktionen höherer Ordnung Verfasser: Bernhard Reus by Reus, Bernhard 1965-

    Published 1990
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Limits of Computation From a Programming Perspective

    Limits of Computation From a Programming Perspective by Reus, Bernhard 1965-

    Published 2016

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Program verification in synthetic domain theory

    Program verification in synthetic domain theory by Reus, Bernhard 1965-

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Continuation semantics or expressing implication by negation

    Continuation semantics or expressing implication by negation by Lafont, Yves, Reus, Bernhard 1965-, Streicher, Thomas

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Lifting the laws of module algebra to deliverables

    Lifting the laws of module algebra to deliverables by Reus, Bernhard 1965-, Streicher, Thomas

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: