Katalog der Deutschen Nationalbibliothek

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

2751 - 2760 von 2991

	2751	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	2752	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	2753	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	2754	Usability challenges of PKI Straub, Tobias, 2006
	2755	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	2756	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	2757	Verified proof carrying code Wildmoser, Martin, 2006
	2758	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2759	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	2760	Verteilte kooperative Wissensräume Bopp, Thomas, 2006