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: "128965967"
im Bestand: Gesamter Bestand

1 - 4 von 4

	1	From object orientation to formal methods Berlin : Springer, 2004
	2	From object orientation to formal methods Berlin : Springer, 2004
	3	Generator induction in order sorted algebras Enthalten in Formal aspects of computing Bd. 3, Nr. 1, date:1.1991: 2-20
	4	Dahl, Ole-Johan 1931-2002 / Informatiker