Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 sind von 9 bis 21:30 Uhr geöffnet. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933–1945 will be open from 9:00 to 21:30.

Ergebnis der Suche nach: dcs=00*
im Bestand: Gesamter Bestand

16431 - 16440 von 17434

	16431	Formal methods for hardware verification Berlin : Springer, 2006
	16432	Formal modeling and analysis of timed systems Berlin : Springer, 2006
	16433	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	16434	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	16435	Foundations of intelligent systems Berlin : Springer, 2006
	16436	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	16437	From Data and Information Analysis to Knowledge Engineering Cham : Springer International Publishing, 2006
	16438	From image-based motion analysis to free-viewpoint video Theobalt, Christian, [2006]
	16439	From the wisdom of the hive to intelligent routing in telecommunication networks Farooq, Muddassar, 2006
	16440	Frontiers of high performance computing and networking Berlin : Springer, 2006

16431 - 16440 von 17434

Alle Materialarten > Online Ressourcen (17434)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (17434)

Aktionen

Administration