|
91 |
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
|
|
|
92 |
Regular Graphs Stanić, Zoran. - Berlin/Boston : De Gruyter, 2017
|
|
|
93 |
Regular Graphs Stanić, Zoran. - Berlin/Boston : De Gruyter, 2017
|
|
|
94 |
Topological Theory of Graphs Liu, Yanpei. - Berlin/Boston : De Gruyter, 2017
|
|
|
95 |
Topological Theory of Graphs Liu, Yanpei. - Berlin/Boston : De Gruyter, 2017
|
|
|
96 |
Ambient Spline Approximation on Manifolds Odathuparambil, Sonja. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
97 |
Automatic Construction of Implicative Theories for Mathematical Domains Revenko, Artem. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
98 |
Denkstrukturen in Lösungsansätzen von Modellierungsaufgaben Reit, Xenia-Rosemarie. - Wiesbaden : Springer Fachmedien Wiesbaden, 2016, 1. Aufl. 2016
|
|
|
99 |
Discrete Algebraic Methods Diekert, Volker. - Berlin/Boston : De Gruyter, 2016
|
|
|
100 |
Discrete Algebraic Methods Diekert, Volker. - Berlin/Boston : De Gruyter, 2016
|
|