Katalog der Deutschen Nationalbibliothek

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

7471 - 7480 von 7875

	7471	Formal methods for components and objects Berlin : Springer, 2006
	7472	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7473	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	7474	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	7475	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
	7476	Generative and transformational techniques in software engineering Berlin : Springer, 2006
	7477	Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006
	7478	Graph transformation Berlin : Springer, 2006
	7479	Groupware: design, implementation, and use Berlin : Springer, 2006
	7480	High capacity analog channels for smart documents Iqbal, Taswar, 2006