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

2731 - 2740 von 2943

	2731	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	2732	Verified proof carrying code Wildmoser, Martin, 2006
	2733	Verified proof carrying code Wildmoser, Martin, 2006
	2734	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	2735	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2736	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	2737	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	2738	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2739	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2740	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]