Author books / Книги автора Ulrich Kulisch » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ulrich Kulisch

book Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation, and Applications

pdf

Author: Ulrich Kulisch
Language: English
Year: 2008

00

01.03.2024

0

0

book Wissenschaftliches Rechnen mit Ergebnisverifikation

Wissenschaftliches Rechnen mit Ergebnisverifikation

pdf

Author: Ulrich Kulisch (editor)
Language: German
Year: 1990

00

01.03.2024

0

0

book Computer Arithmetic and Validity: Theory, Implementation, and Applications

Computer Arithmetic and Validity: Theory, Implementation, and Applications

pdf

Author: Ulrich Kulisch
Language: English
Year: 2013

00

16.02.2024

0

0

book C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

djvu

Author: Rolf Hammer Matthias Hocks Ulrich Kulisch Dietmar Ratz
Language: English
Year: 1995

00

29.01.2024

0

0

book C-XSC: A C++ Class Library for Extended Scientific Computing

C-XSC: A C++ Class Library for Extended Scientific Computing

pdf

Author: Prof. Dr. Ulrich Kulisch Dr. Rudi Klatte Dipl.-Math. Andreas Wiethoff Dr. Christian Lawo Dipl.-Math. Michael Rauch (auth.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Grundlagen der Computer-Arithmetik

Grundlagen der Computer-Arithmetik

pdf

Author: Prof. Dr. R. Albrecht (auth.) Prof. Dr. Rudolf Albrecht Prof. Dr. Ulrich Kulisch (eds.)
Language: German
Year: 1977

00

27.01.2024

0

0

book Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

pdf

Author: Prof.Dr. Ulrich Kulisch Dr. Rolf Hammer Dr. Dietmar Ratz Dipl-Math. oec. Matthias Hocks (auth.)
Language: English
Year: 1993

00

27.01.2024

0

0

book PASCAL-XSC: Language Reference with Examples

PASCAL-XSC: Language Reference with Examples

pdf

Author: Prof. Dr. Ulrich Kulisch Dr. Rudi Klatte Dipl.-Math. techn. Dietmar Ratz Dr. Michael Neaga Prof. Dr. Christian Ullrich (auth.)
Language: English
Year: 1992

00

27.01.2024

0

0

book PASCAL-XSC: Sprachbeschreibung mit Beispielen

PASCAL-XSC: Sprachbeschreibung mit Beispielen

pdf

Author: Dr. Rudi Klatte Prof. Dr. Ulrich Kulisch Dr. Michael Neaga Dipl.-Math. techn. Dietmar Ratz Prof. Dr. Christian Ullrich (auth.)
Language: German
Year: 1991

00

27.01.2024

0

0

book Scientific Computation with Automatic Result Verification

Scientific Computation with Automatic Result Verification

pdf

Author: Prof. Dr. U. Kulisch Prof. Dr. H. J. Stetter (auth.) Prof. Dr. Ulrich Kulisch Prof. Dr. Hans J. Stetter (eds.)
Language: English
Year: 1988

00

27.01.2024

0

0