|
91 |
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Steen, Alexander. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
|
|
|
|
92 |
Fortschrittsanzeigen in multimedialen Lernumgebungen
Böhme, Nadine. - Münster : WTM - Verlag für wissenschaftliche Texte und Medien, [2018]
|
|
|
|
93 |
Funktionales Denken beim Übergang von der Funktionenlehre zur Analysis
Klinger, Marcel. - Wiesbaden : Springer Spektrum, [2018]
|
|
|
|
94 |
Generalised summation-by-parts operators and entropy stability of numerical methods for hyperbolic balance laws
Ranocha, Hendrik. - Göttingen : Cuvillier Verlag, 2018, 1. Auflage
|
|
|
|
95 |
Harmonic analysis of deep convolutional neural networks
Wiatowski, Thomas. - Konstanz : Hartung-Gorre Verlag, 2018, Reprint of Diss. ETH No. 24556, first edition
|
|
|
|
96 |
Individuelle Lernunterstützung im Mathematikunterricht
Klopfer, Monika. - Münster : WTM - Verlag für wissenschaftliche Texte und Medien, [2018], [1. Auflage]
|
|
|
|
97 |
Kompetenzlisten und Lernhinweise zur Diagnose und Förderung
Gutscher, Annabell. - Wiesbaden, Germany : Springer Spektrum, [2018]
|
|
|
|
98 |
Konzeptuelle und lexikalische Lernpfade und Lernwege zu Prozenten
Pöhler, Birte. - Wiesbaden, Germany : Springer Spektrum, [2018]
|
|
|
|
99 |
Mathematisches Argumentieren als Diskurs
Cramer, Jenny. - Wiesbaden, Germany : Springer Spektrum, [2018], [1. Auflage]
|
|
|
|
100 |
Nearest neighbor methods for the imputation of missing values in low and high-dimensional data
Faisal, Shahla. - Göttingen : Cuvillier Verlag, 2018, 1. Auflage
|
|
Administration
