Katalog der Deutschen Nationalbibliothek

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

7351 - 7360 von 7925

	7351	Task models and diagrams for users interface design Berlin : Springer, 2007
	7352	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7353	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	7354	Term rewriting and applications Berlin : Springer, 2007
	7355	Testing of software and communicating systems Berlin : Springer, 2007
	7356	Tests and proofs Berlin : Springer, 2007
	7357	The Calculus of Computation Bradley, Aaron R.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7358	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7359	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	7360	The Kiel Esterel processor Li, Xin, 2007