Katalog der Deutschen Nationalbibliothek

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

7361 - 7370 von 7930

	7361	Tests and proofs Berlin : Springer, 2007
	7362	The Calculus of Computation Bradley, Aaron R.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7363	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7364	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	7365	The Kiel Esterel processor Li, Xin, 2007
	7366	The role of features and aspects in software development Apel, Sven, 2007
	7367	The SMPI model Braungarten, René, 2007
	7368	Theoretical aspects of computing Berlin : Springer, 2007
	7369	Theory and applications of satisfiability testing Berlin : Springer, 2007
	7370	Theory of cryptography Berlin : Springer, 2007