Katalog der Deutschen Nationalbibliothek

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

2631 - 2640 von 3280

	2631	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2632	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2633	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2634	The Kiel Esterel processor Li, Xin, 2007
	2635	The role of features and aspects in software development Apel, Sven, 2007
	2636	The SMPI model Braungarten, René, 2007
	2637	The XL-web service language Grünhagen, Andreas, [2007]
	2638	Three-dimensional perception for mobile robots Triebel, Rudolph, 2007
	2639	To and fro between tableaus and automata for description logics Hladik, Jan, 2007
	2640	Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007

2631 - 2640 von 3280