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