Katalog der Deutschen Nationalbibliothek

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

3021 - 3030 von 3254

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