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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

7471 - 7480 von 7981

	7471	Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
	7472	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	7473	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	7474	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	7475	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	7476	Verified proof carrying code Wildmoser, Martin, 2006
	7477	Verified proof carrying code Wildmoser, Martin, 2006
	7478	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	7479	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	7480	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006