Katalog der Deutschen Nationalbibliothek

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

20011 - 20020 von 20843

	20011	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	20012	Ubiquitous computing Berlin : Springer, 2006
	20013	Ubiquitous computing systems Berlin : Springer, 2006
	20014	Ubiquitous intelligence and computing Berlin : Springer, 2006
	20015	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	20016	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	20017	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	20018	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	20019	Unconventional computation Berlin : Springer, 2006
	20020	Ungarische Literatur in deutscher Sprache Göttingen : Universitätsverlag Göttingen, 2006

20011 - 20020 von 20843