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 36

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