Katalog der Deutschen Nationalbibliothek

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

2781 - 2790 von 2988

	2781	An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
	2782	Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
	2783	Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
	2784	Ant colony optimization on runtime reconfigurable architectures Scheuermann, Bernd, 2005
	2785	Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces Lindemann, Mathias, 2005
	2786	Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
	2787	Articulatory features for conversational speech recognition Metze, Florian, 2005
	2788	Ausfalldetektoren und das Consensus-Problem im Crash-Recovery-Modell Zinner, Martin, 2005
	2789	Autonomous face recognition Mou, Dengpan, 2005
	2790	Avalon Behr, Johannes, 2005