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. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

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

99991 - 100000 von 160834

	99991	Formal aspects in security and trust Berlin : Springer, 2007
	99992	Formal concept analysis Berlin : Springer, 2007
	99993	Formal methods and hybrid real-time systems Berlin : Springer, 2007
	99994	Formal methods for components and objects Berlin : Springer, 2007
	99995	Formal methods for open object based distributed systems Berlin : Springer, 2007
	99996	Formal methods for performance evaluation Berlin : Springer, 2007
	99997	Formal methods: applications and technology Berlin : Springer, 2007
	99998	Formal modeling and analysis of timed systems Berlin : Springer, 2007
	99999	Formal models of belief change in rational agents [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]
	100000	Formal models of belief change in rational agents [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]

99991 - 100000 von 160834

Alle Materialarten > Online Ressourcen (160834)

Alle Kataloge/Sammlungen

Alle Standorte > Frankfurt (160834)

Aktionen

Administration