Katalog der Deutschen Nationalbibliothek

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

1291 - 1300 von 1700

	1291	Software resource consumption engineering for mass produced embedded system families Diekmann, Holger. - Stuttgart : Fraunhofer-IRB-Verl., 2008
	1292	Software security metrics for malware resilience Langweg, Hanno. - Bonn : Sekretariat für Forschungsberichte, Inst. für Informatik III, 2008
	1293	Source code analysis, management, and visualization for PROLOG Hopfner, Marbod, 2008
	1294	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	1295	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - Aachen : RWTH, Fachgruppe Informatik, 2008
	1296	Strategy properties for cryptographic protocols Kähler, Detlef, 2008
	1297	Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar. - Berlin : Logos, 2008
	1298	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	1299	Sub-method structural and behavioral reflection Denker, Marcus. - Köln, Univ.-Str. 59 : M. Denker, 2008, 1. Aufl.
	1300	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008