|
101 |
Parity games, separations, and the modal μ-calculus
Dittmann, Christoph. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
102 |
Pattern recognition on oriented matroids
Matveev, Andrej O.. - Berlin : De Gruyter, [2017]
|
|
|
|
103 |
Proof mining for nonlinear operator theory
Koutsoukou-Argyraki, Angeliki. - Darmstadt, 2017
|
|
|
|
104 |
Regular graphs
Stanić, Zoran. - Berlin : De Gruyter, [2017]
|
|
|
|
105 |
Topological theory of graphs
Liu, Yanpei. - Berlin : De Gruyter, [2017]
|
|
|
|
106 |
[The discovery of forcing]
Wie ich "Forcing" entdeckte
Cohen, Paul. - Lemgo : e-enterprise, 2017, 1. Auflage
|
|
|
|
107 |
Ambient spline approximation on manifolds
Odathuparambil, Sonja. - Darmstadt, August 2016
|
|
|
|
108 |
Data fitting and uncertainty
Strutz, Tilo. - Wiesbaden : Springer Vieweg, [2016], 2nd, revised and extended edition
|
|
|
|
109 |
[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.]
|
|
|
|
110 |
Descriptive set theoretic methods in automata theory
Skrzypczak, Michał. - Berlin : Springer, [2016], [1st ed.]
|
|
Administration
