|
241 |
Several approaches to break the curse of dimensionality
Weimar, Markus. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
|
|
242 |
Spanning subgraphs of growing degree
Würfl, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
243 |
The Satisfiability Problem
Schöning, Uwe. - Berlin : Lehmanns, 2013, neue Ausg.
|
|
|
|
244 |
Three models of ordinal computability
Seyfferth, Benjamin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
245 |
Towards an arithmetic for partial computable functionals
Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
|
|
|
|
246 |
Towards More Useful Description Logics of Time, Change and Context
Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
|
|
|
|
247 |
Algebraic Methods for Computing the Reliability of Networks
Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
248 |
Analysis of methods for extraction of programs from non-constructive proofs
Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
249 |
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
250 |
Combinatorial Algorithms
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
Administration
