|
81 |
Design Patterns für mathematische Beweise
Ohlbach, Hans Jürgen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 1. Auflage 2017
|
|
|
|
82 |
Die Gödel'schen Unvollständigkeitssätze
Hoffmann, Dirk W.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 2. Auflage 2017
|
|
|
|
83 |
Graph Theory
Diestel, Reinhard. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, Fifth Edition
|
|
|
|
84 |
Interval Analysis
Mayer, Günter. - Berlin/Boston : De Gruyter, 2017
|
|
|
|
85 |
Mathematik für die Informatik
Berghammer, Rudolf. - Wiesbaden : Springer Fachmedien Wiesbaden, 2017, 2., erw. und akt. Auflage 2017
|
|
|
|
86 |
Mathematische Modellierung
Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 3. Auflage 2017
|
|
|
|
87 |
Multivariate Approximation and High-Dimensional Sparse FFT Based on Rank-1 Lattice Sampling
Volkmer, Toni. - Chemnitz : Universitätsbibliothek Chemnitz, 2017
|
|
|
|
88 |
Parity games, separations, and the modal μ-calculus
Dittmann, Christoph. - Berlin : Universitätsverlag der TU Berlin, 2017
|
|
|
|
89 |
Pattern Recognition on Oriented Matroids
Matveev, Andrej O.. - Berlin/Boston : De Gruyter, 2017, 1. Auflage
|
|
|
|
90 |
Pattern Recognition on Oriented Matroids
Matveev, Andrej O.. - Berlin/Boston : De Gruyter, 2017
|
|
Administration
