STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Matthias Hocks | lit.salon
Matthias Hocks
No bio available.
Add one in Open Library.
Books by Matthias Hocks (50 max)
+ shelf
+ list
C++ toolbox for verified computing I: basic numerical problems
1995
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
+ shelf
+ list
Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung
1995
Matthias Hocks