Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

16431 - 16440 von 17437

	16431	Formal methods Berlin : Springer, 2006
	16432	Formal methods and software engineering Berlin : Springer, 2006
	16433	Formal methods for components and objects Berlin : Springer, 2006
	16434	Formal methods for hardware verification Berlin : Springer, 2006
	16435	Formal modeling and analysis of timed systems Berlin : Springer, 2006
	16436	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	16437	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	16438	Foundations of intelligent systems Berlin : Springer, 2006
	16439	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	16440	From Data and Information Analysis to Knowledge Engineering Cham : Springer International Publishing, 2006

16431 - 16440 von 17437

Alle Materialarten > Online Ressourcen (17437)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (17437)

Aktionen

Administration