|
51 |
Definability and model checking
Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
52 |
Discrete Time Analysis of Consolidated Transport Processes
Özden, Eda. - Karlsruhe : KIT Scientific Publishing, 2012
|
|
|
|
53 |
Discrete Time Analysis of Consolidated Transport Processes
Özden, Eda. - Karlsruhe : KIT-Bibliothek, 2012
|
|
|
|
54 |
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients
Ikenmeyer, Christian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
55 |
Graph polynomials and their representations
Trinks, Martin. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
|
56 |
Interpolation Based Parametric Model Order Reduction
Nguyen, Thanh-Son. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
57 |
Introduction to the Minimum Rainbow Subgraph problem
Matos Camacho, Stephan. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
|
58 |
Investigations on the structural properties of Carlson's <1-relation
García Cornejo, Parménides. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
59 |
Kazhdan-Lusztig Kombinatorik und Impulsgraphen
Lanini, Martina. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
|
60 |
Maximale Kantengewichte zusammenhängender Graphen
Petzold, Maria. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
Administration
