Katalog der Deutschen Nationalbibliothek

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

4031 - 4040 von 4419

	4031	Trace analysis - gain insight through modelchecking and cycle reduction Kemper, Volker. - Dortmund : Universitätsbibliothek Dortmund, 2006
	4032	Transformation based component architectures Klein, Markus, 2006
	4033	Transformation knowledge in pattern analysis with kernel methods Haasdonk, Bernard, [2006]
	4034	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
	4035	Ubiquitous user modeling Heckmann, Dominikus, [2006]
	4036	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	4037	Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
	4038	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	4039	Ungarische Literatur in deutscher Sprache Göttingen : Universitätsverlag Göttingen, 2006
	4040	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006