Katalog der Deutschen Nationalbibliothek

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

7521 - 7530 von 7925

	7521	Formal methods for components and objects Berlin : Springer, 2006
	7522	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7523	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	7524	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	7525	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
	7526	Generative and transformational techniques in software engineering Berlin : Springer, 2006
	7527	Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006
	7528	Graph transformation Berlin : Springer, 2006
	7529	Groupware: design, implementation, and use Berlin : Springer, 2006
	7530	High capacity analog channels for smart documents Iqbal, Taswar, 2006