|
41 |
Several approaches to break the curse of dimensionality Weimar, Markus. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
|
42 |
Spanning subgraphs of growing degree Würfl, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
43 |
Three models of ordinal computability Seyfferth, Benjamin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
44 |
Towards an arithmetic for partial computable functionals Karádais, Basil A.. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
|
|
|
45 |
Towards More Useful Description Logics of Time, Change and Context Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
|
|
|
46 |
Algebraic Methods for Computing the Reliability of Networks Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
47 |
Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
48 |
Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
49 |
Definability and model checking Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
50 |
Discrete Time Analysis of Consolidated Transport Processes Özden, Eda. - Karlsruhe : KIT-Bibliothek, 2012
|
|