Home Advanced Search

Advanced Search - Page 1

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

PDF
English
Year: 1995
Author: Prof. Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Matthias Hocks, Dr. Dietmar Ratz (auth.)

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

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

PASCAL-XSC: Language Reference with Examples

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

PASCAL-XSC: Sprachbeschreibung mit Beispielen

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

Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units

PDF
English
Year: 2002
Author: Dr. Ulrich W. Kulisch (auth.)

Scientific Computation with Automatic Result Verification

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

Grundlagen der Computer-Arithmetik

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

Достоверные вычисления: Базовые численные методы

DJVU
Russian
Year: 2005
Author: Кулиш У., и др.(Hammer,Hocks,Kulisch,Ratz)

Fiskalpolitik in der Europäischen Währungsunion: Marktdisziplinierung, Transfers und Verschuldungsanreize

PDF
German
Year: 1996
Author: Dr. Ulrich Rolf (auth.)

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

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