| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units | 978-3-211-83870-9 | 2008 |
| Berichte des German Chapter of the ACM/Wissenschaftliches Rechnen und Programmiersprachen: Fachseminar am 2./3.4.1982 in Karlsruhe | 978-3-519-02429-3 | 1982 | Christian Ullrich |
| Computer Arithmetic and Validity: Theory, Implementation, and Applications | 978-3-11-030173-1 | 2013 |
| Computer Arithmetic and Validity: Theory, Implementation, and Applications | 978-3-11-030180-9 | 2012 |
| Computer Arithmetic and Validity: Theory, Implementation, and Applications | 978-3-11-020318-9 | 2008 |
| Computer Arithmetic and Validity: Theory, Implementation, and Applications | 978-3-11-916767-3 | 2008 |
| Computerarithmetic: Scientific Computation and Programming Languages | 978-3-519-02448-4 | 1987 | Edgar Kaucher · Christian Ullrich |
| C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs | 978-3-540-59110-8 | 1995 | Rolf Hammer · Matthias Hocks · Dietmar Ratz |
| C-XSC: A C++ Class Library for Extended Scientific Computing | 978-3-540-56328-0 | 1993 | Rudi Klatte · Andreas Wiethoff · Christian Lawo · Michael Rauch |
| Grundlagen des Numerischen Rechnens. Mathematische Begründung der Rechnerarithmetik | 978-3-411-01517-7 | 1976 |
| Human Retrovirology: Facts and Concepts | 978-3-540-51850-1 | 1990 | J\xf6rg Sch\xfcpbach · Michael Neaga · Dietmar Ratz · Christian Ullrich |
| Jahrbuch Überblicke Mathematik 1991 | 978-3-528-08946-7 | 1991 | Roman Liedl · Detlef Laugwitz · Walter Purkert · S. D. Chatterji |
| Jahrbuch Überblicke Mathematik 1992 | 978-3-528-06465-5 | 1994 | S. D. Chatterji · Benno Fuchssteiner |
| Jahrbuch Überblicke Mathematik 1993 | 978-3-528-06492-1 | 1993 | S. D. Chatterji · Benno Fuchssteiner |
| Jahrbuch Überblicke Mathematik 1994 | 978-3-528-06578-2 | 1994 | S. D. Chatterji · Benno Fuchssteiner |
| Jahrbuch Überblicke Mathematik 1995 | 978-3-528-06607-9 | 1995 | Albrecht Beutelspacher · S. D. Chatterji |
| KULISCH PASCAL-SC | 978-3-519-02106-3 | 1987 |
| KULISCH, PASCAL-SC FORATARI ST | 978-3-519-02108-7 | 1987 |
| Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs | 978-3-540-57118-6 | 1993 | Rolf Hammer · Matthias Hocks · Dietmar Ratz |
| Numerical Toolbox for Verified Computing II: Advanced Numerical Problems | 978-3-540-60470-9 | 2009 | Walter Krämer · Rudolf Lohner |
| Pascal- XSC. Language Reference with Examples | 978-3-540-55137-9 | 1992 | Rudi Klatte · Michael Neaga |
| Perspectives on Enclosure Methods | 978-3-211-83590-6 | 2001 |
| Scientific Computation with Automatic Result Verification | 978-3-211-82063-6 | 2013 |
| Überblicke Mathematik 1996/97 | 978-3-528-06892-9 | 1996 | Albrecht Beutelspacher · Norbert Henze · Hans Wußing |
| Überblicke Mathematik 1998 | 978-3-528-06944-5 | 1997 | Albrecht Beutelspacher · Norbert Henze · Hans Wußing |
| Wissenschaftliches Rechnen mit Ergebnisverifikation. Eine Einführung | 978-3-528-08943-6 | 1998 |