U

Ulrich Kulisch

26 books found

Books by Ulrich Kulisch
Computer arithmetic and validityUlrich Kulisch
⏱ 6h 49m

Computer arithmetic and validity

Ulrich Kulisch

2008409 pp.
Wissenschaftliches Rechnen Mit ErgebnisverifikationUlrich Kulisch
⏱ 4h 28m

Wissenschaftliches Rechnen Mit Ergebnisverifikation

Ulrich Kulisch

1989268 pp.
Numerical Toolbox for Verified Computing IUlrich Kulisch
⏱ 5h 39m

Numerical Toolbox for Verified Computing I

Ulrich Kulisch

1993339 pp.
Scientific Computation with Automatic Result VerificationUlrich Kulisch
⏱ 4h 4m

Scientific Computation with Automatic Result Verification

Ulrich Kulisch

1988244 pp.
Perspectives on Enclosure MethodsUlrich Kulisch
⏱ 5h 45m

Perspectives on Enclosure Methods

Ulrich Kulisch

2001345 pp.
Computer arithmetic in theory and practiceUlrich Kulisch
⏱ 4h 9m

Computer arithmetic in theory and practice

Ulrich Kulisch

1981249 pp.
C++ Toolbox for Verified Computing IUlrich Kulisch
⏱ 6h 22m

C++ Toolbox for Verified Computing I

Ulrich Kulisch

1995382 pp.
Advanced Arithmetic for the Digital ComputerUlrich Kulisch
⏱ 2h 21m

Advanced Arithmetic for the Digital Computer

Ulrich Kulisch

2002141 pp.
Advanced arithmetic for the digital computerUlrich Kulisch
⏱ 2h 21m

Advanced arithmetic for the digital computer

Ulrich Kulisch

2002141 pp.
Grundlagen des numerischen RechnensUlrich Kulisch
⏱ 7h 47m

Grundlagen des numerischen Rechnens

Ulrich Kulisch

1976467 pp.
Perspectives on enclosure methodsUlrich Kulisch
⏱ 5h 45m

Perspectives on enclosure methods

Ulrich Kulisch

2001345 pp.
Scientific computing with automatic result verificationUlrich Kulisch
⏱ 10h 12m

Scientific computing with automatic result verification

Ulrich Kulisch

1993612 pp.
Computer arithmetic in theory and practiceUlrich Kulisch
⏱ 4h 9m

Computer arithmetic in theory and practice

Ulrich Kulisch

1981249 pp.
Advanced arithmetic for the digital computerUlrich Kulisch
⏱ 2h 21m

Advanced arithmetic for the digital computer

Ulrich Kulisch

2003141 pp.
ComputerarithmeticEdgar W. Kaucher
⏱ 7h 36m

Computerarithmetic

Edgar W. Kaucher

1987456 pp.
Scientific computation with automatic result verificationUlrich Kulisch
⏱ 4h 4m

Scientific computation with automatic result verification

Ulrich Kulisch

1988244 pp.
Wissenschaftliches Rechnen und ProgrammiersprachenUlrich Kulisch
⏱ 3h 51m

Wissenschaftliches Rechnen und Programmiersprachen

Ulrich Kulisch

1982231 pp.
Grundlagen der Computer-ArithmetikAlbrecht, Rudolf
⏱ 2h 30m

Grundlagen der Computer-Arithmetik

Albrecht, Rudolf

1977150 pp.
C++ Toolbox for Verified Computing IUlrich Kulisch Rolf Hammer
⏱ 6h 40m

C++ Toolbox for Verified Computing I

Ulrich Kulisch Rolf Hammer

2011400 pp.
C++ toolbox for verified computing IRolf Hammer
⏱ 6h 20m

C++ toolbox for verified computing I

Rolf Hammer

1995380 pp.