Katalog der Deutschen Nationalbibliothek

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

2491 - 2500 von 2953

	2491	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2492	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2493	Test generation using event sequence graphs Budnik, Christof J., 2007
	2494	The complexity of hybrid logics over restricted frame classes Schneider, Thomas. - Göttingen : Cuvillier, 2007, 1. Aufl.
	2495	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2496	The DP framework for proving termination of term rewriting Thiemann, René. - Aachen : RWTH Aachen, 2007
	2497	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2498	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2499	The Kiel Esterel processor Li, Xin, 2007
	2500	The Kiel Esterel processor Li, Xin, 2007