Katalog der Deutschen Nationalbibliothek

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

2661 - 2670 von 2907

	2661	Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
	2662	Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
	2663	Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
	2664	Test generation using event sequence graphs Budnik, Christof J., 2006
	2665	The inter-domain key exchange protocol Soltwisch, Rene Alexander, 2006
	2666	The lexicon graph model Trippel, Thorsten. - [Bielefeld] : [Univ.-Bibliothek], 2006, [Online-Ausg.]
	2667	The Neuronal code Pipa, Gordon, 2006
	2668	TopX Theobald, Martin, 2006
	2669	Towards a Unified Approach to Learning and Adaptation Kassahun, Yohannes. - Kiel : Universitätsbibliothek Kiel, 2006
	2670	Towards a unified approach to learning and adaptation Kassahun, Yohannes. - Kiel : Inst. für Informatik und Praktische Mathematik, 2006

2661 - 2670 von 2907