Katalog der Deutschen Nationalbibliothek

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

15001 - 15010 von 15659

	15001	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	15002	Ubiquitous computing Berlin : Springer, 2006
	15003	Ubiquitous computing systems Berlin : Springer, 2006
	15004	Ubiquitous intelligence and computing Berlin : Springer, 2006
	15005	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	15006	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	15007	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	15008	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	15009	Unconventional computation Berlin : Springer, 2006
	15010	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006

15001 - 15010 von 15659