Ulrich Kulisch
Ulrich Kulisch
9 ספרים במאגר
ספרים
Advanced Arithmetic for the Digital ComputerUlrich Kulisch
Advanced Arithmetic for the Digital Computer
Ulrich Kulisch · 2002
Perspectives on enclosure methodsUlrich Kulisch
Perspectives on enclosure methods
Ulrich Kulisch · 2001
Perspectives on Enclosure MethodsUlrich Kulisch
Perspectives on Enclosure Methods
Ulrich Kulisch · 2001
C++ Toolbox for Verified Computing IUlrich Kulisch
C++ Toolbox for Verified Computing I
Ulrich Kulisch · 1995
Numerical Toolbox for Verified Computing IUlrich Kulisch
Numerical Toolbox for Verified Computing I
Ulrich Kulisch · 1993
Computer arithmetic and validityUlrich Kulisch
Computer arithmetic and validity
Ulrich Kulisch · 2008
Scientific computation with automatic result verificationUlrich Kulisch
Scientific computation with automatic result verification
Ulrich Kulisch · 1988
Scientific Computation with Automatic Result VerificationUlrich Kulisch
Scientific Computation with Automatic Result Verification
Ulrich Kulisch · 1988
Wissenschaftliches Rechnen Mit ErgebnisverifikationUlrich Kulisch
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Ulrich Kulisch · 1990
ספרים משותפים ואוספים
ספרים שבהם Ulrich Kulisch מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
C++ toolbox for verified computing IRolf Hammer
C++ toolbox for verified computing I
Rolf Hammer · 1997
PASCAL-XSCRudi Klatte
PASCAL-XSC
Rudi Klatte · 1992
Rechnerorientierte VerfahrenBernhard Kutzler
Rechnerorientierte Verfahren
Bernhard Kutzler · 2013
Überblicke Mathematik 1998Albrecht Beutelspacher
Überblicke Mathematik 1998
Albrecht Beutelspacher · 1997