Sökt på: Böcker av Dietmar Ratz
totalt 9 träffar
PASCAL-XSC
PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere …
Grundkurs Programmieren in Java
C++ Toolbox for Verified Computing I
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 …
Numerical Toolbox for Verified Computing I
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 …
PASCAL-XSC
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 …
PASCAL-XSC
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 …
PASCAL-XSC
PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere …
C++ Toolbox for Verified Computing I
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 …
Numerical Toolbox for Verified Computing I
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 …