Katalog der Deutschen Nationalbibliothek

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

7351 - 7360 von 7922

	7351	Term rewriting and applications Berlin : Springer, 2007
	7352	Testing of software and communicating systems Berlin : Springer, 2007
	7353	Tests and proofs Berlin : Springer, 2007
	7354	The Calculus of Computation Bradley, Aaron R.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7355	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7356	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	7357	The Kiel Esterel processor Li, Xin, 2007
	7358	The role of features and aspects in software development Apel, Sven, 2007
	7359	The SMPI model Braungarten, René, 2007
	7360	Theoretical aspects of computing Berlin : Springer, 2007