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 9943

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