numerical verification methods and computer assisted proofs for partial dif

numerical verification methods and computer assisted proofs for partial dif

Recommended

Simulation and Verification of Electronic and Biological Systems, Li, Peng,,

Simulation and Verification of Electronic and Biological Systems, Li, Peng,,

$57.20

View Details

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naij

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naij

$156.98

View Details

Alefeld - Symbolic Algebraic Methods and Verification Methods - New p - S9000z

Alefeld - Symbolic Algebraic Methods and Verification Methods - New p - S9000z

$68.72

View Details

Numerical Solutions Applied to Heat Transfer with the SPH Method: A Verification

Numerical Solutions Applied to Heat Transfer with the SPH Method: A Verification

$61.30

View Details

Verification and Validation in Scientific Computing, Hardcover by Oberkampf, ...

Verification and Validation in Scientific Computing, Hardcover by Oberkampf, ...

$171.82

View Details

Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

$77.85

View Details

Numerical Verification Methods and Computer-Assisted Proofs f... - 9789811376689

Numerical Verification Methods and Computer-Assisted Proofs f... - 9789811376689

$125.88

View Details

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Po

$125.19

View Details

Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

$68.70

View Details

Numerical Software Verification - 9783319542911

Numerical Software Verification - 9783319542911

$49.19

View Details