Scientific Computing With Automatic Result Verification Scientific Computing With Automatic Result Verification

Scientific Computing With Automatic Result Verification

    • $79.99
    • $79.99

Descripción editorial

Scientific computing with automatic result verification.

GÉNERO
Informática e Internet
PUBLICADO
1992
3 de diciembre
IDIOMA
EN
Inglés
EXTENSIÓN
611
Páginas
EDITORIAL
Elsevier Science
VENDEDOR
Elsevier Ltd.
TAMAÑO
16.3
MB
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
2009
Numerical Software Verification Numerical Software Verification
2017
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
2016
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
2016