Katalog der Deutschen Nationalbibliothek

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

4061 - 4070 von 4440

	4061	Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
	4062	Usability challenges of PKI Straub, Tobias, 2006
	4063	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	4064	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	4065	Verified proof carrying code Wildmoser, Martin, 2006
	4066	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	4067	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	4068	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	4069	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	4070	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]