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=005*
im Bestand: Gesamter Bestand

7151 - 7160 von 7934

	7151	Formal aspects in security and trust Berlin : Springer, 2007
	7152	Formal correctness of security protocols Berlin : Springer, 2007
	7153	Formal methods and hybrid real-time systems Berlin : Springer, 2007
	7154	Formal Methods and Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7155	Formal methods for components and objects Berlin : Springer, 2007
	7156	Formal methods for open object based distributed systems Berlin : Springer, 2007
	7157	Formal methods: applications and technology Berlin : Springer, 2007
	7158	Formal techniques for networked and distributed systems Berlin : Springer, 2007
	7159	Fotos, Filme, Musik mit Windows Vista Born, Günter. - München : Pearson Deutschland, 2007
	7160	Foundations of software science and computational structures Berlin : Springer, 2007

7151 - 7160 von 7934

Alle Materialarten > Online Ressourcen (7934)

Alle Kataloge/Sammlungen

Hochschulschriften (1235)

Alle Standorte > Frankfurt (7934)

Aktionen

Administration