Showing 1 - 4 results of 4 for search 'Hannemann, Ulrich', query time: 0.02s 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
    Semantic analysis of compositional proof methods for concurrency = Semantic analyse van compositionele bewijsmethoden voor concurrency

    Semantic analysis of compositional proof methods for concurrency = Semantic analyse van compositionele bewijsmethoden voor concurrency by Hannemann, Ulrich

    Published 2000
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Das Zend-Avesta

    Das Zend-Avesta

    Published 2011
    Other Authors: “…Hannemann, Ulrich…”
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Das Zend-Avesta

    Das Zend-Avesta

    Published 2011
    Other Authors: “…Hannemann, Ulrich…”
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Das Zend-Avesta

    Das Zend-Avesta

    Published 2011
    Other Authors: “…Hannemann, Ulrich…”
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: