|
81 |
Einführung in die mathematische Logik
Ebbinghaus, Heinz-Dieter. - Berlin, Germany : Springer Spektrum, [2018], 6., überarbeitete und erweiterte Auflage
|
|
|
|
82 |
Evaluierte Lernumgebungen zum Modellieren
Wiesbaden, Germany : Springer Spektrum, [2018]
|
|
|
|
83 |
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Steen, Alexander. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
|
84 |
Grenzen der Mathematik
Hoffmann, Dirk W.. - Berlin : Springer Spektrum, [2018], 3. Auflage
|
|
|
|
85 |
Ramsey theory
Xu, Xiaodong. - Berlin : De Gruyter, [2018]
|
|
|
|
86 |
Zur Konvergenz diskreter Least-Squares Methoden auf äquidistanten Stützstellen
Goertz, René. - Göttingen : Cuvillier Verlag, 2018, 1. Auflage
|
|
|
|
87 |
A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics
Barros, Laécio Carvalho de. - Berlin : Springer, 2017, [1st ed.]
|
|
|
|
88 |
Algebraic elements of graphs
Liu, Yanpei. - Berlin : De Gruyter, [2017]
|
|
|
|
89 |
Approximation und nichtlineare Optimierung in Praxisaufgaben
Göpfert, Alfred. - Wiesbaden : Springer Spektrum, [2017]
|
|
|
|
90 |
Computational complexity theory for advanced function spaces in analysis
Steinberg, Florian. - Darmstadt, 2017
|
|
Administration
