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

Scientific Computing With Automatic Result Verification

    • US$79.99
    • US$79.99

출판사 설명

Scientific computing with automatic result verification.

장르
컴퓨터 및 인터넷
출시일
1992년
12월 3일
언어
EN
영어
길이
611
페이지
출판사
Elsevier Science
판매자
Elsevier Ltd.
크기
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년