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

18951 - 18960 von 19566

	18951	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	18952	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	18953	Verified proof carrying code Wildmoser, Martin, 2006
	18954	Verified proof carrying code Wildmoser, Martin, 2006
	18955	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	18956	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	18957	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	18958	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	18959	Versionsmanagement mit Subversion Wassermann, Tobias. - [Heidelberg] : mitp, 2006, 1. Aufl.
	18960	Verteilte kooperative Wissensräume Bopp, Thomas, 2006