Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

1591 - 1600 von 1700

	1591	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	1592	Usability challenges of PKI Straub, Tobias, 2006
	1593	Verbesserte prozedurale Programmiersprachen Heinlein, Christian, 2006
	1594	Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
	1595	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	1596	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	1597	Verified proof carrying code Wildmoser, Martin, 2006
	1598	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	1599	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	1600	Verteilte kooperative Wissensräume Bopp, Thomas, 2006