Katalog der Deutschen Nationalbibliothek

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

1081 - 1090 von 1201

	1081	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	1082	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	1083	Usability challenges of PKI Straub, Tobias, 2006
	1084	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	1085	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	1086	Verified proof carrying code Wildmoser, Martin, 2006
	1087	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	1088	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	1089	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	1090	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006