Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

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 19

	1	Correctness proofs of distributed algorithms Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 1994
	2	Formal methods for concurrent systems design Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, [1994]
	3	Progress in Petri nets Reisig, Wolfgang. - Berlin : Professoren des Inst. für Informatik, 1994
	4	Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues? Reisig, Wolfgang. - Berlin : Präsidentin der Humboldt-Univ., 1994
	5	A primer in Petri net design Reisig, Wolfgang. - Berlin : Springer, 1992
	6	Elements of a temporal logic coping with concurrency Reisig, Wolfgang. - München : SFB 342, 1992
	7	The synthesis problem of Petri nets Desel, Jörg. - München : SFB 342, 1992
	8	Concurrent temporal logic Reisig, Wolfgang. - München : TUM, SFB 342, 1991
	9	Petrinetze Reisig, Wolfgang. - Sankt Augustin : GMD, 1990
	10	Petri nets and abstract data types Reisig, Wolfgang. - München : Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1989