Katalog der Deutschen Nationalbibliothek

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

3081 - 3090 von 3318

	3081	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	3082	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	3083	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	3084	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	3085	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	3086	Usability challenges of PKI Straub, Tobias, 2006
	3087	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3088	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3089	Verified proof carrying code Wildmoser, Martin, 2006
	3090	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]

3081 - 3090 von 3318