Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

2481 - 2490 von 2943

	2481	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2482	Test generation using event sequence graphs Budnik, Christof J., 2007
	2483	The complexity of hybrid logics over restricted frame classes Schneider, Thomas. - Göttingen : Cuvillier, 2007, 1. Aufl.
	2484	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2485	The DP framework for proving termination of term rewriting Thiemann, René. - Aachen : RWTH Aachen, 2007
	2486	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2487	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	2488	The Kiel Esterel processor Li, Xin, 2007
	2489	The Kiel Esterel processor Li, Xin, 2007
	2490	The role of features and aspects in software development Apel, Sven, 2007