|
11 |
Multivariate Approximation and high-dimensional sparse FFT based on rank-1 lattice sampling Volkmer, Toni. - Chemnitz : Universitätsverlag, 2017, [1. Auflage]
|
|
|
12 |
On assumptions and hypotheses in mathematising by tasks without numbers Grigoraş, Dana-Roxana. - Göttingen : Cuvillier Verlag, 2017, 1. Auflage
|
|
|
13 |
Parity games, separations, and the modal μ-calculus Dittmann, Christoph. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
14 |
Proof mining for nonlinear operator theory Koutsoukou-Argyraki, Angeliki. - Darmstadt, 2017
|
|
|
15 |
Ambient spline approximation on manifolds Odathuparambil, Sonja. - Darmstadt, August 2016
|
|
|
16 |
[Denkstrukturanalyse als Instrument zur Bestimmung der Schwierigkeit von Modellierungsaugaben] Denkstrukturen in Lösungsansätzen von Modellierungsaufgaben Reit, Xenia-Rosemarie. - Wiesbaden : Springer Spektrum, [2016], [1. Aufl.]
|
|
|
17 |
Nowhere dense classes of graphs Siebertz, Sebastian. - Berlin : Universitätsverlag der TU Berlin, 2016
|
|
|
18 |
Optimal control and function identification in biological processes Merger, Juri. - Würzburg, 2016
|
|
|
19 |
Pure and hybrid mice with finitely many woodin cardinals from levels of determinacy Müller, Sandra. - Münster, 2016
|
|
|
20 |
SAT solving with message passing Gableske, Oliver. - Ulm, February 5, 2016
|
|