Katalog der Deutschen Nationalbibliothek

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

851 - 860 von 1204

	851	Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
	852	Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
	853	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf, [2008]
	854	Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008
	855	Synthesis of distributed systems Schewe, Sven, 2008, [Online-Ausg.]
	856	Systematisierung des funktionalen Tests eingebetteter Software Olejniczak, Robert, 2008
	857	Tagging and smart textiles Reichel, Milena, 2008
	858	Testaufwandsschätzung in der Softwareentwicklung Dowie, Ulrike, 2008, [Online-Ausg.]
	859	The decentralized file system Igor-FS as an application for overlay-networks Kutzner, Kendy, 2008
	860	Towards a comprehensive agent oriented software engineering methodology Abdelaziz, Tawfig M., 2008