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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

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