|
1 |
Carl Adam Petri: Ideas, Personality, Impact
Rozenberg, Grzegorz. - Cham : Springer International Publishing, 2019, 1st edition 2019
|
|
|
|
2 |
Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss
Gierds, Christian. - Berlin : Mathematisch-Naturwissenschaftliche Fakultät, 2015
|
|
|
3 |
Understanding Petri nets
Reisig, Wolfgang. - Berlin : Springer, 2013
|
|
|
|
4 |
Understanding Petri Nets
Reisig, Wolfgang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
|
5 |
Modeling in Systems Biology
London : Springer London, 2011
|
|
|
|
6 |
Petrinetze
Reisig, Wolfgang. - Wiesbaden : Vieweg + Teubner, 2010, 1. Aufl.
|
|
|
|
7 |
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Hohberg, Bodo. - Berlin : Humboldt-Universität zu Berlin, 2007
|
|
|
|
8 |
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Hohberg, Bodo. - Berlin : Professoren des Inst. für Informatik, 2007
|
|
|
|
9 |
Abstract State Machines for the Classroom
Reisig, Wolfgang. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
|
10 |
Abstract state machines for the classroom
Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 2006
|
|
Administration
