Katalog der Deutschen Nationalbibliothek

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

881 - 890 von 1232

	881	Specification and verification of security policies for smart cards Schwan, Matthias, 2008
	882	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
	883	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	884	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf, [2008]
	885	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008
	886	Synthesis of distributed systems Schewe, Sven, 2008, [Online-Ausg.]
	887	Systematisierung des funktionalen Tests eingebetteter Software Olejniczak, Robert, 2008
	888	Tagging and smart textiles Reichel, Milena, 2008
	889	Testaufwandsschätzung in der Softwareentwicklung Dowie, Ulrike, 2008, [Online-Ausg.]
	890	Testing in Functional Programming Widera, Manfred. - Aachen : Shaker, 2008, 1. Auflage

881 - 890 von 1232