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

Scientific Computing With Automatic Result Verification

    • ‏79٫99 US$
    • ‏79٫99 US$

وصف الناشر

Scientific computing with automatic result verification.

النوع
كمبيوتر وإنترنت
تاريخ النشر
١٩٩٢
٣ ديسمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٦١١
الناشر
Elsevier Science
البائع
Elsevier Ltd.
الحجم
١٦٫٣
‫م.ب.‬
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
٢٠١٦
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
٢٠٠٩
Numerical Software Verification Numerical Software Verification
٢٠١٧
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
٢٠٠٨
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
٢٠١٦
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
٢٠١٦