|
1201 |
Amortized Analysis of Exponential Time- and Parameterized Algorithms: Measure & Conquer and Reference Search Trees
Binkele-Raible, Daniel. - Trier : Universität Trier, 2010
|
|
|
|
1202 |
An analysis for some methods and algorithms of quantum chemistry
Rohwedder, Thorsten, 2010
|
|
|
|
1203 |
Analyse der NVIDIA CUDA-Architektur für dieImplementierung von Signal- undBildverarbeitungsalgorithmen
Lorbeer, Marc-Ruben. - Hamburg : Hochschule für Angewandte Wissenschaften Hamburg, 2010
|
|
|
|
1204 |
Approximate inference algorithms in large networked systems
Na, Chongning, 2010
|
|
|
1205 |
Approximate inference algorithms in large networked systems
Na, Chongning, 2010
|
|
|
|
1206 |
Approximation algorithms for scheduling and two-dimensional packing problems
Schwarz, Ulrich Michael, 2010
|
|
|
|
1207 |
Approximation algorithms for scheduling and two-dimensional packing problems
Schwarz, Ulrich Michael. - Kiel : Universitätsbibliothek Kiel, 2010
|
|
|
|
1208 |
Bicriteria optimization in electronic design automation
Berger, Martin. - Tönning : Der Andere Verl., 2010
|
|
|
|
1209 |
Boolean Gröbner bases
Brickenstein, Michael. - Berlin : Logos, 2010
|
|
|
|
1210 |
Computer verification of algorithms using a formal proof system
Kaiser, Markus. - Berlin : dissertation.de, 2010, Als Ms. gedr.
|
|
Administration
