Katalog der Deutschen Nationalbibliothek

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

4061 - 4070 von 4439

	4061	Usability challenges of PKI Straub, Tobias, 2006
	4062	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	4063	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	4064	Verified proof carrying code Wildmoser, Martin, 2006
	4065	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	4066	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	4067	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	4068	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	4069	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	4070	Walter Hilperts Rundfunkarbeit Hamburg : Verl. Hans-Bredow-Inst., 2006