Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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

11 - 14 von 14

	11	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 1995
	12	Prozessalgebra, Teil 1 (Process Algebra, Part 1) Enthalten in Automatisierungstechnik Bd. 51, 2003, Nr. 8: A13-A16
	13	Prozessalgebra, Teil 2 (Process Algebra, Part 2) Enthalten in Automatisierungstechnik Bd. 51, 2003, Nr. 9: A17-A20
	14	Brinksma, Ed 1957- / Informatiker