|
31 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken
Weiß, Felix. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
|
|
32 |
Extensibility of Association Schemes and GRH-Based Deterministic Polynomial Factoring
Arora, Manuel. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
33 |
Independence in Algebraic Complexity Theory
Mittmann, Johannes. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
34 |
Lagrange interpolation and quasi-interpolation using trivariate splines on a uniform partition
Schneider, Georg Hubert. - Mannheim : Universitätsbibliothek Mannheim, 2013
|
|
|
|
35 |
Neue Verfahren zur Approximation mit radialen Basisfunktionen und numerische Untersuchung der Dagum-Funktionen
Hofmann, René. - Gießen : Universitätsbibliothek, 2013
|
|
|
|
36 |
Packing a trunk
Werth, Kai. - Mainz : Universitätsbibliothek Mainz, 2013
|
|
|
|
37 |
Proof-checking mathematical texts in controlled natural language
Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
|
38 |
Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms
Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
|
|
|
|
39 |
Relational Structure Theory
Behrisch, Mike. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
40 |
Searching for many defective edges in hypergraphs
Emonts, Jessica. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
Administration
