Katalog der Deutschen Nationalbibliothek

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

2671 - 2680 von 3795

	2671	Slicing integrated formal specifications for verification Brückner, Ingo, 2008
	2672	Software security metrics for malware resilience Langweg, Hanno, 2008
	2673	Softwarearchitektur eines User-Interfaces für ein digitales Filmarchiv Ilmenau : Techn. Univ., Fak. für Elektrotechnik und Informationstechnik, 2008
	2674	Solution techniques for specific bin packing problems with applications to assembly line optimization Stille, Wolfgang, 2008
	2675	Solutions to facility location-network design problems Cocking, Cara, 2008
	2676	Sound proofs of authorship and distribution of digital rights Adelsbach, André, 2008
	2677	Source code analysis, management, and visualization for PROLOG Hopfner, Marbod, 2008, [Online-Ausg.]
	2678	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	2679	Speeding up XML querying Groppe, Jinghua, 2008
	2680	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]

2671 - 2680 von 3795