Katalog der Deutschen Nationalbibliothek

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

1301 - 1310 von 1709

	1301	Software effort estimation with well-founded causal models Trendowicz, Adam. - Stuttgart : Fraunhofer-IRB-Verl., c 2008
	1302	Software resource consumption engineering for mass produced embedded system families Diekmann, Holger. - Stuttgart : Fraunhofer-IRB-Verl., 2008
	1303	Software security metrics for malware resilience Langweg, Hanno. - Bonn : Sekretariat für Forschungsberichte, Inst. für Informatik III, 2008
	1304	Source code analysis, management, and visualization for PROLOG Hopfner, Marbod, 2008
	1305	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	1306	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - Aachen : RWTH, Fachgruppe Informatik, 2008
	1307	Strategy properties for cryptographic protocols Kähler, Detlef, 2008
	1308	Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar. - Berlin : Logos, 2008
	1309	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	1310	Sub-method structural and behavioral reflection Denker, Marcus. - Köln, Univ.-Str. 59 : M. Denker, 2008, 1. Aufl.