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

7531 - 7540 von 7938

	7531	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	7532	Formal methods Berlin : Springer, 2006
	7533	Formal methods and software engineering Berlin : Springer, 2006
	7534	Formal methods for components and objects Berlin : Springer, 2006
	7535	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7536	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	7537	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	7538	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
	7539	Generative and transformational techniques in software engineering Berlin : Springer, 2006
	7540	Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006

7531 - 7540 von 7938

Alle Materialarten > Online Ressourcen (7938)

Alle Kataloge/Sammlungen

Hochschulschriften (1235)

Alle Standorte > Frankfurt (7938)

Aktionen

Administration