| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| C++ Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Programs | 978-0-387-59110-0 (0-387-59110-9) | 1995 | |
| Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-Xsc Programs | 978-0-387-57118-8 (0-387-57118-3) | 1993 | M. Hocks · U. Kulisch · D. Ratz |
Eleanor Ray Hammer · et al Rita Hammer · Joel R. Hammer · Jr, Ronald P. Hammer · Mitchell R. Hammer · Nelson R. Hammer · Patricia Riley Hammer · Prof. Roger B. Hammer · R. H. · Rabbi Reuven Hammer · Rainer & Hammer, Wolfgang [Hrsg.]: Arnold · Rainer Grie"hammer · Randy Hammer · Raymond Hammer · Renate Hammer · Reuven Hammer · Reuven Hammer Ph.d · Rhonda Hammer · Richard D. Hammer Raymond B. Daniels · Richard Hammer · Richard M. Hammer · Rita Hammer · Rob Hammer · Robert Hammer · Roger A. Hammer · Roger L. Hammer · Rolf Hammer · Ronald P. Hammer · Ronald P. Hammer Jr · Rosmarie Abolfathian-Hammer · Ruby Hammer · Rus Hammer · Ulrich Kulisch Rolf Hammer