Katalog der Deutschen Nationalbibliothek

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

7441 - 7450 von 7970

	7441	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
	7442	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
	7443	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	7444	Ubiquitous user modeling Heckmann, Dominikus. - Berlin : Aka, 2006
	7445	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	7446	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	7447	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	7448	Understanding ad hoc networks O'Dell, Regina. - Konstanz : Hartung-Gorre, 2006, 1. ed.
	7449	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	7450	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006