Katalog der Deutschen Nationalbibliothek

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

15001 - 15010 von 15653

	15001	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	15002	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	15003	Unconventional computation Berlin : Springer, 2006
	15004	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	15005	Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
	15006	Usability challenges of PKI Straub, Tobias, 2006
	15007	Variations on constants Berlin : Springer, 2006
	15008	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	15009	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	15010	Verified proof carrying code Wildmoser, Martin, 2006

15001 - 15010 von 15653