|
7541 |
An environment for compositional specification verification of complex embedded systems
Wittke, Hartmut, 2005
|
|
|
7542 |
Analysis and verification of systems with dynamically evolving structure
König, Barbara, [2005]
|
|
|
|
7543 |
Analysis of compositional conflicts in component based systems
Leicher, Andreas, 2005
|
|
|
|
7544 |
Ant colony optimization on runtime reconfigurable architectures
Scheuermann, Bernd, 2005
|
|
|
|
7545 |
Ant colony optimization on runtime reconfigurable architectures
Scheuermann, Bernd, 2005
|
|
|
|
7546 |
Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces
Lindemann, Mathias, 2005
|
|
|
|
7547 |
Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces
Lindemann, Mathias. - Bremen : University Bremen, 2005
|
|
|
|
7548 |
Architectural synthesis of a coarse-grained run-time-reconfigurable accelerator for DSP applications
Obeid, Abdulfattah Mohammad, 2005
|
|
|
|
7549 |
Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie
Oyono, Roger, 2005
|
|
|
|
7550 |
Articulatory features for conversational speech recognition
Metze, Florian, 2005
|
|
Administration
