MOMENTAN AUSVERKAUFT

Numerical Toolbox for Verified Computing I von Dietmar Ratz, Matthias Hocks, Ulrich Kulisch und Rolf Hammer (2011, Taschenbuch)