Bücher nach ISBN

Ulrich Kulisch

U. Kulisch · Ulrich Kalk · Ulrich Klocke · Ulrich Klose · Ulrich Klug · Ulrich Kluge · Ulrich W. Kulisch · Ulrike Kluge

Bibliographisches Institut, Mannheim · Gruyter · Springer Berlin Heidelberg · Springer Vienna · Vieweg

Titel	ISBN-13	Erschei- nungsjahr	andere Autoren
Computer Arithmetic and Validity: Theory, Implementation, and Applications	978-3-11-020318-9	2008
C++ Toolbox for Verified Scientific Computing I. Basic Numerical Problems	978-3-540-59110-8	1997	Rolf Hammer · Matthias Hocks
C- XSC. A C++ Class Library for Extended Scientific Computing	978-3-540-56328-0	1993	Rudi Klatte · Andreas Wiethoff
Grundlagen des Numerischen Rechnens. Mathematische Begründung der Rechnerarithmetik	978-3-411-01517-7	1976
Numerical Toolbox for Verified Computing: Advanced Numerical Problems: Pt. 2	978-3-540-60470-9	2009	W. Krämer · Rudolf Lohner
Numerical Toolbox for Verified Computing with Algorithms and Pascal- XSC Programs. Basic Numerical Problems: Basic Numerical Problems - Theory, ... Series in Computational Mathematics)	978-3-540-57118-6	1994	Rolf Hammer · Matthias Hocks
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	Rudolf Lohner · Axel Facius
Scientific Computation with Automatic Result Verification	978-3-211-82063-6	1988	Hans J. Stetter
Überblicke Mathematik 1996/97	978-3-528-06892-9	1997	Albrecht Beutelspacher · Norbert Henze
Wissenschaftliches Rechnen mit Ergebnisverifikation. Eine Einführung	978-3-528-08943-6	1998