numerical-verification

You May Like

Numerical Software Verification: 12th International Workshop, Nsv 2019
Numerical Software Verification: 12th International Workshop, Nsv 2019

$59.99

View Details
SystemVerilog for Verification: A Guide to Learning the Testbench Languag -VG
SystemVerilog for Verification: A Guide to Learning the Testbench Languag -VG

$25.00

View Details
Numerical Verification Methods And Computer-Assisted Proofs For Partial Dif...
Numerical Verification Methods And Computer-Assisted Proofs For Partial Dif...

$164.51

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
Numerical Verification Methods and Computer-Assisted Proofs for Partial by Nakao
Numerical Verification Methods and Computer-Assisted Proofs for Partial by Nakao

$140.21

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

$49.19

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

$69.14

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

$92.99

View Details
Numerical Software Verification: 12th International Workshop, Nsv 2019, LIKE...
Numerical Software Verification: 12th International Workshop, Nsv 2019, LIKE...

$60.00

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

$102.23

View Details
Numerical Software Verification - 9783030284220
Numerical Software Verification - 9783030284220

$49.36

View Details
Verification and Validation in Scientific Computing by Christopher J. Roy and...
Verification and Validation in Scientific Computing by Christopher J. Roy and...

$89.99

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 Differen
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen

$200.40

View Details
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen

$200.12

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

$125.88

View Details
Numerical Software with Result Verification: International Dagstuhl Seminar, Dag
Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

$67.60

View Details
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe

$69.90

View Details
Numerical Software Verification: 12th International Workshop, NSV 2019, New York
Numerical Software Verification: 12th International Workshop, NSV 2019, New York

$66.79

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

$77.02

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

$68.70

View Details
Nakao - Numerical Verification Methods and Computer-Assisted Proofs fo - N555z
Nakao - Numerical Verification Methods and Computer-Assisted Proofs fo - N555z

$101.95

View Details
Alt - Numerical Software with Result Verification International Dags - S555z
Alt - Numerical Software with Result Verification International Dags - S555z

$81.23

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

$68.29

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

$57.20

View Details
Bogomolov - Numerical Software Verification 9th International Works - S9000z
Bogomolov - Numerical Software Verification 9th International Works - S9000z

$75.70

View Details
Abate - Numerical Software Verification 10th International Workshop - S9000z
Abate - Numerical Software Verification 10th International Workshop - S9000z

$68.72

View Details
Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...
Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...

$65.98

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

$101.92

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

$171.81

View Details
Accuracy Verification Methods: Theory and Algorithms by Olli Mali (English) Pape
Accuracy Verification Methods: Theory and Algorithms by Olli Mali (English) Pape

$135.74

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
Accuracy Verification Methods: Theory and Algorithms
Accuracy Verification Methods: Theory and Algorithms

$91.95

View Details
Numerical Software Verification: 10th International Workshop, NSV 2017,
Numerical Software Verification: 10th International Workshop, NSV 2017,

$77.68

View Details
Numerical Software Verification: 12th International Workshop, NSV 2019, New York
Numerical Software Verification: 12th International Workshop, NSV 2019, New York

$75.73

View Details
Numerical Software with Result Verification: International Dagstuhl Seminar, Dag
Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

$77.85

View Details
Computational Methods in Systems Biology : International Conference Cmsb 2004...
Computational Methods in Systems Biology : International Conference Cmsb 2004...

$67.22

View Details
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen

$183.92

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
Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...
Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

$68.71

View Details
NUMERICAL SIMULATION OF DAM-BURST AND REFLECTIONS, WITH VERIFICATION AGAINST LAB
NUMERICAL SIMULATION OF DAM-BURST AND REFLECTIONS, WITH VERIFICATION AGAINST LAB

$20.01

View Details
ITI GE Interlogix 60-677 Interrogator Alarm Verification Module with Enclosure
ITI GE Interlogix 60-677 Interrogator Alarm Verification Module with Enclosure

$20.50

View Details
Bogomolov - Numerical Software Verification 9th International Worksh - N555z
Bogomolov - Numerical Software Verification 9th International Worksh - N555z

$80.30

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

$68.72

View Details
Stratix Xaminer Elite Barcode Verification Scanner w/Integrated Laser FOR PARTS
Stratix Xaminer Elite Barcode Verification Scanner w/Integrated Laser FOR PARTS

$30.00

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 Verification Methods and Computer-Assisted Proofs for Partial Differen
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen

$183.92

View Details
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe

$77.85

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

$77.85

View Details
Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio
Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio

$125.19

View Details
Polynomial Formal Verification of Approximate Functions by Martha Schnieber Pape
Polynomial Formal Verification of Approximate Functions by Martha Schnieber Pape

$125.00

View Details
ITI GE Interlogix 60-677 Interrogator Alarm Verification Module with Enclosure
ITI GE Interlogix 60-677 Interrogator Alarm Verification Module with Enclosure

$5.99

View Details
Scientific Computation with Automatic Result Verification: Meeting : Papers by U
Scientific Computation with Automatic Result Verification: Meeting : Papers by U

$66.79

View Details
Symbolic Algebraic Methods and Verification Methods, Paperback by Alefeld, Go...
Symbolic Algebraic Methods and Verification Methods, Paperback by Alefeld, Go...

$65.97

View Details
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
Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...
Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

$80.28

View Details
Radecka - Verification by Error Modeling Using Testing Techniques i - S9000z
Radecka - Verification by Error Modeling Using Testing Techniques i - S9000z

$131.58

View Details
Majumdar - Computer Aided Verification 29th International Conferenc - S9000z
Majumdar - Computer Aided Verification 29th International Conferenc - S9000z

$69.80

View Details
Kulisch - Scientific Computation with Automatic Result Verification - - S9000z
Kulisch - Scientific Computation with Automatic Result Verification - - S9000z

$90.19

View Details
Mali - Accuracy Verification Methods Theory and Algorithms - New pa - S9000z
Mali - Accuracy Verification Methods Theory and Algorithms - New pa - S9000z

$132.07

View Details
SystemVerilog for Verification: A Guide to Learning the Testbench Language F...
SystemVerilog for Verification: A Guide to Learning the Testbench Language F...

$33.12

View Details
Scientific Computation With Automatic Result Verification, Paperback by Kulis...
Scientific Computation With Automatic Result Verification, Paperback by Kulis...

$65.97

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

$125.19

View Details
Guide to Software Verification with Frama-C: Core Components, Usages, and: New
Guide to Software Verification with Frama-C: Core Components, Usages, and: New

$80.10

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

$126.85

View Details
Abat - Numerical Software Verification 10th International Workshop - N555z
Abat - Numerical Software Verification 10th International Workshop - N555z

$80.30

View Details
Drechsler - Formal Modeling and Verification of Cyber-Physical System - S9000z
Drechsler - Formal Modeling and Verification of Cyber-Physical System - S9000z

$76.18

View Details
Simulation and Verification of Electronic and Biological Systems by Peng Li (Eng
Simulation and Verification of Electronic and Biological Systems by Peng Li (Eng

$125.19

View Details
Simulation and Verification of Electronic and Biological Systems by Peng Li (Eng
Simulation and Verification of Electronic and Biological Systems by Peng Li (Eng

$125.99

View Details
Simulation and Verification of Electronic and Biological Systems, Paperback b...
Simulation and Verification of Electronic and Biological Systems, Paperback b...

$125.07

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
Tool Support for System Specification, Development and Verification : Advance...
Tool Support for System Specification, Development and Verification : Advance...

$65.97

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

$88.15

View Details
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located...
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located...

$68.71

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
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naij
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naij

$153.25

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

$67.73

View Details
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located wit
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located wit

$73.62

View Details
Verification and Validation in Scientific Computing by William L. Oberkampf (Eng
Verification and Validation in Scientific Computing by William L. Oberkampf (Eng

$209.85

View Details
Schnieber - Polynomial Formal Verification of Approximate Functions - - T9000z
Schnieber - Polynomial Formal Verification of Approximate Functions - - T9000z

$145.55

View Details
Tool Support for System Specification, Development and Verification by Rudolf Be
Tool Support for System Specification, Development and Verification by Rudolf Be

$66.79

View Details
Interval Analysis: and Automatic Result Verification by G?nter Mayer (English) H
Interval Analysis: and Automatic Result Verification by G?nter Mayer (English) H

$204.76

View Details
Guide to Software Verification with Frama-C: Core Components, Usages, and Appli,
Guide to Software Verification with Frama-C: Core Components, Usages, and Appli,

$96.99

View Details
Introduction to Finite Element Analysis: Formulation, Verification and Validatio
Introduction to Finite Element Analysis: Formulation, Verification and Validatio

$132.76

View Details
SYSTEMVERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE By Chris Spear EXCELLENT
SYSTEMVERILOG FOR VERIFICATION: A GUIDE TO LEARNING THE By Chris Spear EXCELLENT

$68.75

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
Verification and Validation in Scientific Computing Oberkampf Roy Hardback
Verification and Validation in Scientific Computing Oberkampf Roy Hardback

$135.27

View Details
Introduction to Finite Element Analysis: Formulation, Verification and by Szabó
Introduction to Finite Element Analysis: Formulation, Verification and by Szabó

$134.35

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
Guide to Software Verification with Frama-C: Core Components, Usages, and Applic
Guide to Software Verification with Frama-C: Core Components, Usages, and Applic

$82.47

View Details
Analog Behavioral Modeling With the Verilog-a Language, Paperback by Fitzpatr...
Analog Behavioral Modeling With the Verilog-a Language, Paperback by Fitzpatr...

$220.72

View Details
Günter Mayer Interval Analysis (Hardback) De Gruyter Studies in Mathematics
Günter Mayer Interval Analysis (Hardback) De Gruyter Studies in Mathematics

$232.62

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

$68.30

View Details
Computational Methods in Systems Biology : International Conference Cmsb 2004...
Computational Methods in Systems Biology : International Conference Cmsb 2004...

$67.21

View Details
Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...
Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...

$63.05

View Details
Scientific Computation With Automatic Result Verification, Paperback by Kulis...
Scientific Computation With Automatic Result Verification, Paperback by Kulis...

$66.78

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

$101.93

View Details
Symbolic Algebraic Methods and Verification Methods, Paperback by Alefeld, Go...
Symbolic Algebraic Methods and Verification Methods, Paperback by Alefeld, Go...

$66.78

View Details

© 2008-2024 numerical-verification (https://www.crackra.com/). All Rights Reserved.