|
151 |
Evaluierte Lernumgebungen zum Modellieren
Wiesbaden : Springer Fachmedien Wiesbaden, 2018, 1. Auflage 2018
|
|
|
152 |
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Steen, Alexander. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
|
153 |
Grenzen der Mathematik
Hoffmann, Dirk W.. - Berlin : Springer Spektrum, [2018], 3. Auflage
|
|
|
|
154 |
Grenzen der Mathematik
Hoffmann, Dirk W.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2018, 3. Auflage 2018
|
|
|
|
155 |
Ramsey theory
Xu, Xiaodong. - Berlin : De Gruyter, [2018]
|
|
|
|
156 |
Ramsey Theory
Xu, Xiaodong. - Berlin/Boston : De Gruyter, 2018, 1. Auflage
|
|
|
|
157 |
Zur Konvergenz diskreter Least-Squares Methoden auf äquidistanten Stützstellen
Goertz, René. - Göttingen : Cuvillier Verlag, 2018, 1. Auflage
|
|
|
|
158 |
Zur Konvergenz diskreter Least-Squares Methoden auf äquidistanten Stützstellen
Goertz, René. - Göttingen : Cuvillier Verlag, 2018, 1. Auflage
|
|
|
|
159 |
A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics
Barros, Laécio Carvalho de. - Berlin : Springer, 2017, [1st ed.]
|
|
|
|
160 |
Algebraic Elements of Graphs
Liu, Yanpei. - Berlin/Boston : De Gruyter, 2017, 1. Auflage
|
|
Administration
