|
1091 |
Advances in equational theorem proving Löchner, Bernd, [2006]
|
|
|
1092 |
Algorithms and software for efficient biomolecular simulation Christen, Markus. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
1093 |
Algorithms for dynamic geometric data streams Frahling, Gereon, 2006
|
|
|
1094 |
Algorithms for the satisfiability problem Rolf, Daniel, 2006
|
|
|
1095 |
An Algebraic Approach for the Design and Automatic Code Generation of Signal Processing Algorithms into SIMD-Vector Processors Robelly, Juan P.. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
1096 |
Analysis of algorithms and data structures for text indexing Maaß, Moritz G., 2006
|
|
|
1097 |
Design and test of algorithms for the evaluation of modern sensors in close-range photogrammetry Scheibe, Karsten, 2006, [Online-Ausg.]
|
|
|
1098 |
Directed evolutionary algorithms Berlik, Stefan, 2006
|
|
|
1099 |
Distributed Positioning Algorithms in Underwater Acoustic Networks Garcia Ruiz, Jose E.. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
1100 |
Estimation of distribution algorithms and minimum relative entropy Höns, Robin, 2006
|
|