Ulrich Kulisch
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Ulrich Kulisch · 1990
פרטי הספר
- שנה
- 1990
- שפה
- German
- הוצאה
- de Gruyter GmbH, Walter
- מהדורות
- 2
- ISBN
- 9783112576212
מקור הנתונים: Wikidata
עוד של Ulrich Kulisch
Ulrich Kulisch

Advanced Arithmetic for the Digital Computer
Ulrich Kulisch · 2002
Ulrich Kulisch

Perspectives on enclosure methods
Ulrich Kulisch · 2001
Ulrich Kulisch

Perspectives on Enclosure Methods
Ulrich Kulisch · 2001
Ulrich Kulisch

C++ Toolbox for Verified Computing I
Ulrich Kulisch · 1995
Ulrich Kulisch

Numerical Toolbox for Verified Computing I
Ulrich Kulisch · 1993
Ulrich Kulisch

Computer arithmetic and validity
Ulrich Kulisch · 2008
Ulrich Kulisch

Scientific computation with automatic result verification
Ulrich Kulisch · 1988
Ulrich Kulisch

Scientific Computation with Automatic Result Verification
Ulrich Kulisch · 1988