Katalog der Deutschen Nationalbibliothek

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

2601 - 2610 von 3252

	2601	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2602	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2603	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2604	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2605	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2606	The Kiel Esterel processor Li, Xin, 2007
	2607	The role of features and aspects in software development Apel, Sven, 2007
	2608	The SMPI model Braungarten, René, 2007
	2609	The XL-web service language Grünhagen, Andreas, [2007]
	2610	Three-dimensional perception for mobile robots Triebel, Rudolph, 2007