| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs | 978-3-642-79653-1 (3-642-79653-2) | 1995 |
K. H. · K. R. · K . R. H · R. H. · R. Hammer · Rolf Hammer · u k · U. Kulisch · Ulrich Hammer · Ulrich Kulisch