Treffer 1 – 13 von 13 für Suche 'Taubner, Dirk', Suchdauer: 0,05s 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
    Iteration theories of synchronization trees

    Iteration theories of synchronization trees von Bloom, Steve L., Ésik, Zoltán 1951-2016, Taubner, Dirk

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Iteration theories of synchronization trees

    Iteration theories of synchronization trees von Bloom, Steve L., Ésik, Zoltán 1951-2016, Taubner, Dirk

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Finite representations of CCS and TCSP programs by automata and Petri nets

    Finite representations of CCS and TCSP programs by automata and Petri nets von Taubner, Dirk

    Veröffentlicht 1989
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The finite representation of abstract programs by automata and Petri nets

    The finite representation of abstract programs by automata and Petri nets von Taubner, Dirk A.

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The finite representation of abstract programs by automata and Petri nets

    The finite representation of abstract programs by automata and Petri nets von Taubner, Dirk

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The step failure semantics

    The step failure semantics von Taubner, Dirk, Vogler, Walter

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Two net-oriented semantics for TCSP

    Two net-oriented semantics for TCSP von Taubner, Dirk A.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Finite representations of CCS and TCSP programs by automata and Petri nets

    Finite representations of CCS and TCSP programs by automata and Petri nets von Taubner, Dirk

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Zur verteilten Implementierung von Petrinetzen

    Zur verteilten Implementierung von Petrinetzen von Taubner, Dirk

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The finite representation of abstract programs by automata and Petri nets

    The finite representation of abstract programs by automata and Petri nets von Taubner, Dirk A.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Zur verteilten Implementierung von Petrinetzen

    Zur verteilten Implementierung von Petrinetzen von Taubner, Dirk

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Theoretical CSP and formal languages

    Theoretical CSP and formal languages von Taubner, Dirk

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The step failure semantics

    The step failure semantics von Taubner, Dirk, Vogler, Walter

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: