Katalog der Deutschen Nationalbibliothek

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

881 - 890 von 1235

	881	Software security metrics for malware resilience Langweg, Hanno, 2008
	882	Sound proofs of authorship and distribution of digital rights Adelsbach, André, 2008
	883	Source code analysis, management, and visualization for PROLOG Hopfner, Marbod, 2008, [Online-Ausg.]
	884	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	885	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
	886	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	887	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf, [2008]
	888	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008
	889	Synthesis of distributed systems Schewe, Sven, 2008, [Online-Ausg.]
	890	Systematisierung des funktionalen Tests eingebetteter Software Olejniczak, Robert, 2008

881 - 890 von 1235