|
51 |
Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
52 |
Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
53 |
Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
54 |
Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
55 |
Das Problem der Kurvenanpassung Paulßen, Jens. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2012
|
|
|
56 |
Definability and model checking Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
57 |
Discrete Time Analysis of Consolidated Transport Processes Özden, Eda. - Karlsruhe : KIT-Bibliothek, 2012
|
|
|
58 |
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients Ikenmeyer, Christian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
59 |
Graph polynomials and their representations Trinks, Martin. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
60 |
Interpolation Based Parametric Model Order Reduction Nguyen, Thanh-Son. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|