|
91 |
Algebraic uncertainty theory Zimmermann, Jörg, 2012
|
|
|
92 |
Algorithmen für das stochastische Steinerbaumproblem auf serien-parallelen Graphen Bökler, Fritz. - Dortmund : TU, Algorithm Engineering, 2012
|
|
|
93 |
Approximation algorithms for 2-dimensional packing and related scheduling problems Robenek, Christina, 2012
|
|
|
94 |
Approximation algorithms for geometric packing problems Prädel, Lars Dennis, 2012
|
|
|
95 |
Assertion level proof planning with compiled strategies Dietrich, Dominik. - Göttingen : Optimus-Verl., 2012, New Ed.
|
|
|
96 |
Automorphism towers and definability in generalized Baire spaces Lücke, Philipp Moritz, 2012
|
|
|
97 |
Balanced partitioning of grids and related graphs Feldmann, Andreas Emil. - Göttingen : Cuvillier, 2012, 1. Aufl.
|
|
|
98 |
Categorical semantics of constructive set theory Berg, Benno van den, 2012
|
|
|
99 |
Clusteranalyse für Netzwerke Klages, Alexandra Rebecca. - Frankfurt, M. : Lang, 2012
|
|
|
100 |
Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
|
|