Katalog der Deutschen Nationalbibliothek

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

3231 - 3240 von 3441

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

3231 - 3240 von 3441