Katalog der Deutschen Nationalbibliothek

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

1451 - 1460 von 1700

	1451	Spatiotemporal chaos based multimedia cryptosystems Li, Ping. - Düsseldorf : VDI-Verl., 2007, Als Ms. gedr.
	1452	Static detection of software errors Xie, Yichen. - Saarbrücken : VDM Verlag Dr. Müller, 2007
	1453	Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk Lesny, Christian. - München : Verl. Dr. Hut, 2007, 1. Aufl.
	1454	Strategien für die Instruktionscodekompression in cachebasierten, eingebetteten Systemen Jachalsky, Jörn. - Düsseldorf : VDI-Verl., 2007, Als Ms. gedr.
	1455	"Strictly models and objects first" Diethelm, Ira. - Berlin : Pro Business, 2007, 1. Aufl.
	1456	Structured generic programming in Eden Priebe, Steffen, 2007
	1457	Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
	1458	Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
	1459	Symbolic execution as a framework for deductive verification of object-oriented programs Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl.
	1460	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007