Showing 1 - 3 results of 3 for search 'Thielke, Thomas', query time: 0.03s 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
    Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP

    Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP by Thielke, Thomas, Riemann, Robert

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze

    Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze by Thielke, Thomas

    Published 2000
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Coloured nets with curry

    Coloured nets with curry by Best, Eike 1951-, Thielke, Thomas

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: