M

Matthias Hocks

2 books found

Books by Matthias Hocks
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen OptimierungMatthias Hocks
⏱ 2h 24m

Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung

Matthias Hocks

1995144 pp.
C++ toolbox for verified computing IRolf Hammer
⏱ 6h 20m

C++ toolbox for verified computing I

Rolf Hammer

1995380 pp.