Katalog der Deutschen Nationalbibliothek

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

2731 - 2740 von 2956

	2731	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
	2732	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	2733	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	2734	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	2735	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	2736	Usability challenges of PKI Straub, Tobias, 2006
	2737	Usability challenges of PKI Straub, Tobias, 2006
	2738	Verbesserte prozedurale Programmiersprachen Heinlein, Christian, 2006
	2739	Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
	2740	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006