Eppendorf

numerical verification methods and computer assisted proofs for partial diffe

numerical verification methods and computer assisted proofs for partial diffe

Recommended

Symbolic Algebraic Methods and Verification Methods by Jiri Rohn (English) Paper
Symbolic Algebraic Methods and Verification Methods by Jiri Rohn (English) Paper

$66.79

View Details
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su

$66.98

View Details
Numerical Software Verification: 9th International Workshop, NSV 2016,
Numerical Software Verification: 9th International Workshop, NSV 2016,

$77.02

View Details
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...

$102.40

View Details
Interval Analysis : And Automatic Result Verification, Hardcover by Mayer, Gü...
Interval Analysis : And Automatic Result Verification, Hardcover by Mayer, Gü...

$184.76

View Details
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toron...
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toron...

$68.29

View Details
Numerical Software Verification - 9783319542911
Numerical Software Verification - 9783319542911

$49.19

View Details
Zamani - Numerical Software Verification   12th International Worksho - S9000z
Zamani - Numerical Software Verification 12th International Worksho - S9000z

$68.72

View Details
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...

$92.79

View Details
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...
Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...

$101.95

View Details