Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

Ergebnis der Suche nach: "120078422"
im Bestand: Gesamter Bestand

1 - 10 von 40

1	Petrinetze Reisig, Wolfgang. - Wiesbaden : Springer Fachmedien Wiesbaden GmbH, 2025, 2. Auflage 2024	Ankündigung
2	Understanding Petri nets Reisig, Wolfgang. - Berlin : Springer, 2013
3	Petrinetze Reisig, Wolfgang. - Wiesbaden : Vieweg + Teubner, 2010, 1. Aufl.
4	Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung Hohberg, Bodo. - Berlin : Professoren des Inst. für Informatik, 2007
5	Abstract state machines for the classroom Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 2006
6	Abstract state machines for the classroom Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 2006
7	Distributed abstract state machines and their expressive power Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
8	Informatik Berlin : Springer, 2006
9	On the expressive power of unbounded nondeterministic abstract state machines Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
10	An operating guideline approach to the SOA Massuthe, Peter. - Berlin : Professoren des Inst. für Informatik, 2005