|
141 |
Algebraic uncertainty theory
Zimmermann, Jörg, 2012
|
|
|
|
142 |
Algorithmen für das stochastische Steinerbaumproblem auf serien-parallelen Graphen
Bökler, Fritz. - Dortmund : TU, Algorithm Engineering, 2012
|
|
|
143 |
Analysis of methods for extraction of programs from non-constructive proofs
Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
144 |
Approximation algorithms for 2-dimensional packing and related scheduling problems
Robenek, Christina, 2012
|
|
|
|
145 |
Approximation algorithms for geometric packing problems
Prädel, Lars Dennis, 2012
|
|
|
|
146 |
Assertion level proof planning with compiled strategies
Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
|
|
|
|
147 |
Automorphism towers and definability in generalized Baire spaces
Lücke, Philipp Moritz, 2012
|
|
|
|
148 |
Balanced partitioning of grids and related graphs
Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
|
|
|
|
149 |
Categorical semantics of constructive set theory
Berg, Benno van den, 2012
|
|
|
|
150 |
Clusteranalyse für Netzwerke
Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
|
|
Administration
