Ulrich Kulisch – författare
Visar alla böcker från författaren Ulrich Kulisch. Handla med fri frakt och snabb leverans.
22 produkter
Computer Arithmetic and Validity
Theory, Implementation, and Applications
Inbunden, 2013
2548 kr
Lägg i varukorg
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural …
Computer Arithmetic and Validity
Theory, Implementation, and Applications
E-bok, 2013
2168 kr
Lägg i varukorg
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural …
Wissenschaftliches Rechnen mit Ergebnisverifikation
E-bok, 2022
1505 kr
Lägg i varukorg
Keine ausfuhrliche Beschreibung fur "e;Wissenschaftliches Rechnen mit Ergebnisverifikation"e; verfugbar.
Scientific Computation with Automatic Result Verification
Av Ulrich Kulisch, Hans J. Stetter
Häftad, 1988
551 kr
Lägg i varukorg
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, …
Perspectives on Enclosure Methods
Av Ulrich Kulisch, Rudolf Lohner m. fl.
Häftad, 2001
551 kr
Lägg i varukorg
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure …
Rechnerorientierte Verfahren
Av Siegfried M. Rump, Ulrich Kulisch m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
Rechnerorientierte Verfahren
Av Bernhard Kutzler, Manfred Feilmeier m. fl.
Häftad, 1986
517 kr
Lägg i varukorg
Überblicke Mathematik 1996/97
Av Albrecht Beutelspacher, Norbert Henze m. fl.
Häftad, 1996
517 kr
Lägg i varukorg
PASCAL-XSC
Sprachbeschreibung mit Beispielen
Av Rudi Klatte, Ulrich Kulisch m. fl.
Häftad, 1991
568 kr
Lägg i varukorg
PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere im Bereich technisch-wissenschaftlicher Anwendungen, durch zusätzliche Sprachkonzepte wie Module, dynamische Felder …
PASCAL-XSC
Language Reference with Examples
Av Rudi Klatte, Ulrich Kulisch m. fl.
Häftad, 1992
551 kr
Lägg i varukorg
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated …
C-XSC
A C++ Class Library for Extended Scientific Computing
Av Rudi Klatte, Ulrich Kulisch m. fl.
Häftad, 1993
1098 kr
Lägg i varukorg
C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical …
C-XSC
A C++ Class Library for Extended Scientific Computing
Av Michael Rauch, Christian Lawo m. fl.
E-bok, 2012
1459 kr
Lägg i varukorg
C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical …
PASCAL-XSC
Language Reference with Examples
Av Christian Ullrich, Dietmar Ratz m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated …
Numerical Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Av Dietmar Ratz, Ulrich Kulisch m. fl.
E-bok, 2012
1459 kr
Lägg i varukorg
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be …
Numerical Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Av Rolf Hammer, Matthias Hocks m. fl.
Häftad, 2011
1098 kr
Lägg i varukorg
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be …
C++ Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Programs
Av Dietmar Ratz, Ulrich Kulisch m. fl.
E-bok, 2012
1587 kr
Lägg i varukorg
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition …
C++ Toolbox for Verified Computing I
Basic Numerical Problems Theory, Algorithms, and Programs
Av Rolf Hammer, Matthias Hocks m. fl.
Häftad, 2011
1207 kr
Lägg i varukorg
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition …
PASCAL-XSC
Sprachbeschreibung mit Beispielen
Av Christian Ullrich, Dietmar Ratz m. fl.
E-bok, 2013
587 kr
Lägg i varukorg
PASCAL-XSC (PASCAL-e X tension for S cientific C omputation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere im Bereich technisch-wissenschaftlicher Anwendungen, durch zusätzliche Sprachkonzepte wie Module, dynamische …
Perspectives on Enclosure Methods
Av Axel Facius, Rudolf Lohner m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure …
Scientific Computation with Automatic Result Verification
Av Hans J. Stetter, Ulrich Kulisch
E-bok, 2012
734 kr
Lägg i varukorg
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, …
