|
111 |
Proof mining for nonlinear operator theory
Koutsoukou-Argyraki, Angeliki. - Darmstadt, 2017
|
|
|
|
112 |
Regular graphs
Stanić, Zoran. - Berlin : De Gruyter, [2017]
|
|
|
|
113 |
Topological theory of graphs
Liu, Yanpei. - Berlin : De Gruyter, [2017]
|
|
|
|
114 |
[The discovery of forcing]
Wie ich "Forcing" entdeckte
Cohen, Paul. - Lemgo : e-enterprise, 2017, 1. Auflage
|
|
|
|
115 |
Ambient spline approximation on manifolds
Odathuparambil, Sonja. - Darmstadt, August 2016
|
|
|
|
116 |
Data fitting and uncertainty
Strutz, Tilo. - Wiesbaden : Springer Vieweg, [2016], 2nd, revised and extended edition
|
|
|
|
117 |
[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.]
|
|
|
|
118 |
Descriptive set theoretic methods in automata theory
Skrzypczak, Michał. - Berlin : Springer, [2016], [1st ed.]
|
|
|
|
119 |
[Diekert]
Discrete algebraic methods
Diekert, Volker. - Berlin : De Gruyter, [2016]
|
|
|
|
120 |
Einführung in die formale Logik für Philosophen
Zoglauer, Thomas. - Göttingen : Vandenhoeck & Ruprecht, [2016], 5., durchgesehene Auflage
|
|
Administration
