Treffer 1 – 3 von 3 für Suche 'Thielke, Thomas', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze

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

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Coloured nets with curry

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: