Dietmar Ratz – författare
Visar alla böcker från författaren Dietmar Ratz. Handla med fri frakt och snabb leverans.
9 produkter
Grundkurs Programmieren in Java
Av Dietmar Ratz, Dennis Schulmeister-Zimolong m. fl.
2024
666 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 …
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 …