|
51 |
Algebraic Methods for Computing the Reliability of Networks
Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
52 |
Analysis of methods for extraction of programs from non-constructive proofs
Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
53 |
Concept Approximations
Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
54 |
Definability and model checking
Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
55 |
Discrete Time Analysis of Consolidated Transport Processes
Özden, Eda. - Karlsruhe : KIT Scientific Publishing, 2012
|
|
|
|
56 |
Discrete Time Analysis of Consolidated Transport Processes
Özden, Eda. - Karlsruhe : KIT-Bibliothek, 2012
|
|
|
|
57 |
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients
Ikenmeyer, Christian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
58 |
Graph polynomials and their representations
Trinks, Martin. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
|
59 |
Interpolation Based Parametric Model Order Reduction
Nguyen, Thanh-Son. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
60 |
Introduction to the Minimum Rainbow Subgraph problem
Matos Camacho, Stephan. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
Administration
