Katalog der Deutschen Nationalbibliothek

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

7571 - 7580 von 7862

	7571	Transformation based component architectures Klein, Markus, 2006
	7572	Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
	7573	Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
	7574	Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
	7575	UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
	7576	Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
	7577	Usability challenges of PKI Straub, Tobias, 2006
	7578	Variations on constants Berlin : Springer, 2006
	7579	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	7580	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006