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

9331 - 9340 von 9944

	9331	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	9332	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	9333	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	9334	Verified proof carrying code Wildmoser, Martin, 2006
	9335	Verified proof carrying code Wildmoser, Martin, 2006
	9336	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	9337	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	9338	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	9339	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	9340	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006