|
121 |
Algebraic approach to tense operators
Chajda, Ivan. - Lemgo : Heldermann Verlag, [2015]
|
|
|
|
122 |
Algorithmische Graphentheorie
Turau, Volker. - Berlin : De Gruyter, [2015], 4., erweiterte und überarbeitete Auflage
|
|
|
|
123 |
Approximation by trigonometric polynomials and bandlimited functions and generalized moduli of smoothness
Artamonov, Sergei, 06.11.2015
|
|
|
|
124 |
Automatic construction of implicative theories for mathematical domains
Revenko, Artem. - Aachen : Shaker Verlag, 2015, [1. Aufl.]
|
|
|
|
125 |
Beweisen verstehen im Mathematikunterricht
Gerwig, Mario. - Wiesbaden : Springer Spektrum, 2015
|
|
|
|
126 |
Beweisvorstellungen und eigenständiges Beweisen
Grundey, Svenja. - Wiesbaden : Springer Spektrum, 2015
|
|
|
|
127 |
Cellular automata and discrete complex systems
Heidelberg : Springer, 2015
|
|
|
|
128 |
Coding into inner models at the level of strong cardinals
Koulakis, Marios, 2015
|
|
|
|
129 |
Degree-constrained editing of small-degree graphs
Nichterlein, André. - Berlin : Univ.-Verl. der TU, 2015
|
|
|
|
130 |
Denkstrukturanalyse als Instrument zur Bestimmung der Schwierigkeit von Modellierungsaugaben
Reit, Xenia-Rosemarie, 2015
|
|
Administration
