Showing 1 - 5 results of 5 for search 'Bohn, Jürgen', 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
    Mechanical support and validation of a design calculus for communicating systems by a logic based proof system

    Mechanical support and validation of a design calculus for communicating systems by a logic based proof system by Bohn, Jürgen

    Published 1998
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Die Berechnung der transsonischen Strömung in Laufrädern von Radialverdichtern

    Die Berechnung der transsonischen Strömung in Laufrädern von Radialverdichtern by Bohn, Jürgen

    Published 1988
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    User-centric dependability concepts for ubiquitous computing

    User-centric dependability concepts for ubiquitous computing by Bohn, Jürgen

    Published 2006
    Thesis Microfilm Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Mechanical support and validation of a design calculus for communicating systems by a logic-based proof system

    Mechanical support and validation of a design calculus for communicating systems by a logic-based proof system by Bohn, Jürgen

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Heparinabbau durch Enzyme aus neuen mikrobiellen Isolaten

    Heparinabbau durch Enzyme aus neuen mikrobiellen Isolaten by Bohn, Jürgen Robert

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: