Katalog der Deutschen Nationalbibliothek

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

741 - 750 von 1070

	741	Simplifying and unifying composition for industrial component models Scheben, Ursula, [2008]
	742	Slicing integrated formal specifications for verification Brückner, Ingo, 2008
	743	Software security metrics for malware resilience Langweg, Hanno, 2008
	744	Sound proofs of authorship and distribution of digital rights Adelsbach, André, 2008
	745	Source code analysis, management, and visualization for PROLOG Hopfner, Marbod, 2008, [Online-Ausg.]
	746	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	747	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
	748	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	749	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf, [2008]
	750	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008

741 - 750 von 1070