6 results
Type of media (3)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
6 results

Your search for Bernhard Reus

  1. Cover: Limits of Computation - Springer
    Bernhard Reus
    Limits of Computation
    From a Programming Perspective
    03/2016
    Springer
    9783319278896 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  2. Cover: Types for Proofs and Programs - Springer
    Thorsten Altenkirch | Wolfgang Naraschewski | Bernhard Reus
    Types for Proofs and Programs
    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    06/2003
    Springer
    9783540481676 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Limits of Computation - Springer
    Bernhard Reus
    Limits of Computation
    From a Programming Perspective
    04/2016
    Springer
    9783319278872 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €48.14
    Shipment within 10-15 days
  4. Cover: Types for Proofs and Programs - Springer
    Thorsten Altenkirch | Wolfgang Naraschewski | Bernhard Reus
    Types for Proofs and Programs
    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    09/1999
    Springer
    9783540665373 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Types for Proofs and Programs - Springer
    Thorsten Altenkirch | Wolfgang Naraschewski | Bernhard Reus
    Types for Proofs and Programs
    01/2014
    Springer
    9783662163665 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  6. This image is currently not available.
    Bernhard Reus
    Program Verification in Synthetic Domain Theory
    1996
    Shaker
    9783826513527 (ISBN)
    Other
    Undefined
    €49.00
    Article not available