Katalog der Deutschen Nationalbibliothek

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

3091 - 3100 von 3329

	3091	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	3092	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	3093	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	3094	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	3095	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	3096	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	3097	Usability challenges of PKI Straub, Tobias, 2006
	3098	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3099	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3100	Verified proof carrying code Wildmoser, Martin, 2006

3091 - 3100 von 3329