Katalog der Deutschen Nationalbibliothek

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

661 - 670 von 1709

	661	Constraint solving for verification Gupta, Ashutosh Kumar, 2011
	662	Content management and protection using trusted computing and MPEG-21 technologies Schreiner, Florian, 2011
	663	Coordination and learning in global software development Boden, Alexander, [2011]
	664	Cost-based optimization of integration flows Böhm, Matthias, 2011
	665	Covers and logarithmic signatures of finite groups in cryptography Svaba, Pavol, 2011
	666	Data-centric security with attribute-based encryption Müller, Sascha, 2011
	667	Datenkompaktierung für Diagnose und Test Rabenalt, Thomas, 2011
	668	Deductive verification of object-oriented software Weiß, Benjamin. - Karlsruhe : KIT Scientific Publ., 2011
	669	Deklarative Verarbeitung von Datenströmen in Sensornetzwerken Klan, Daniel, 2011
	670	Der Artbegriff in der genetischen Programmierung Brucherseifer, Eva. - Aachen : Shaker, 2011