|
11 |
Computational Complexity Theory for Advanced Function Spaces in Analysis
Steinberg, Florian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
12 |
Computational complexity theory for advanced function spaces in analysis
Steinberg, Florian. - Darmstadt, 2017
|
|
|
|
13 |
Kantenfärbungen von Graphen ohne bestimmte kleine regenbogengefärbte Teilgraphen
Odermann, Knut. - Chemnitz, [2017]
|
|
|
|
14 |
Multivariate Approximation and High-Dimensional Sparse FFT Based on Rank-1 Lattice Sampling
Volkmer, Toni. - Chemnitz : Universitätsbibliothek Chemnitz, 2017
|
|
|
|
15 |
Multivariate Approximation and high-dimensional sparse FFT based on rank-1 lattice sampling
Volkmer, Toni. - Chemnitz : Universitätsverlag, 2017, [1. Auflage]
|
|
|
|
16 |
On assumptions and hypotheses in mathematising by tasks without numbers
Grigoraş, Dana-Roxana. - Göttingen : Cuvillier Verlag, 2017, 1. Auflage
|
|
|
|
17 |
Parity games, separations, and the modal μ-calculus
Dittmann, Christoph. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
18 |
Parity games, separations, and the modal μ-calculus
Dittmann, Christoph. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
19 |
Proof mining for nonlinear operator theory
Koutsoukou-Argyraki, Angeliki. - Darmstadt, 2017
|
|
|
|
20 |
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups
Koutsoukou-Argyraki, Angeliki. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
Administration
