R. Hammer
R. Hammer
3 ספרים במאגר
ספרים
Numerical toolbox for verified computingR. Hammer
Numerical toolbox for verified computing
R. Hammer · 1993
C++ Toolbox for Verified Computing I: Basic Numerical ProblemsR. Hammer
C++ Toolbox for Verified Computing I: Basic Numerical Problems
R. Hammer · 1995
Face Up E.S.SR. Hammer
Face Up E.S.S
R. Hammer · 2000