The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Validation and Verification of Knowledge Based Systems Theory, Tools and Practice

Computer Intensive Statistical Methods Validation, Model Selection, and Bootstrap,0412491605,9780412491603

Computer Intensive Statis ...

J. S. Urban. Hj ...

Our Price: $ 224.99

Verification Plans The Five-Day Verification Strategy for Modern Hardware Verification Languages,1402076193,9781402076190
15 %

Verification Plans The Fi ...

Peet James

List Price: $ 179.99

Our Price: $ 152.56

Petri Nets for Systems Engineering A Guide to Modeling, Verification, and Applications,3540412174,9783540412175
33 %

Petri Nets for Systems En ...

Claude Girault, ...

List Price: $ 159.99

Our Price: $ 107.48

Symbolic Simulation Methods for Industrial Formal Verification,1402071035,9781402071034
82 %

Symbolic Simulation Metho ...

Robert B. Jones

List Price: $ 169.99

Our Price: $ 30.99

Protocol Specification, Testing and Verification XIV,0412636409,9780412636400
41 %

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 147.48

Design, Specification and Verification of Interactive Systems '95 Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995,3211827390,9783211827390
44 %

Design, Specification and ...

Philippe Palanq ...

List Price: $ 109.00

Our Price: $ 60.65

Introduction to Formal Hardware Verification,3540654453,9783540654452
34 %

Introduction to Formal Ha ...

Thomas Kropf

List Price: $ 89.99

Our Price: $ 59.22

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
32 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 149.59

Lectures on Proof Verification and Approximation Algorithms,3540642013,9783540642015
19 %

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 56.52

Hardware/Software Co-Design and Co-Verification,0792396898,9780792396895
33 %

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 186.89

System-level Test and Validation of Hardware/Software Systems,1852338997,9781852338992
76 %

System-level Test and Val ...

Matteo Sonza Re ...

List Price: $ 149.99

Our Price: $ 35.41

Cryptographic Security Architecture Design and Verification,0387953876,9780387953878
68 %

Cryptographic Security Ar ...

Peter Gutmann

List Price: $ 139.99

Our Price: $ 44.75

Manufacturing of Gene Therapeutics Methods, Processing, Regulation, and Validation,0306466805,9780306466809
67 %

Manufacturing of Gene The ...

G. Subramanian

List Price: $ 279.99

Our Price: $ 91.99

Java and the Java Virtual Machine Definition, Verification, Validation,3540420886,9783540420880
46 %

Java and the Java Virtual ...

Robert F. Stärk ...

List Price: $ 109.00

Our Price: $ 59.28

Protocol Specification, Testing and Verification XV,0412716208,9780412716201
43 %

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 170.99

Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method,079238301X,9780792383017
41 %

Hierarchical Annotated Ac ...

Eduard Cerny, B ...

List Price: $ 169.99

Our Price: $ 100.17

Design, Specification and Verification of Interactive Systems '97 Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997,3211830553,9783211830550
48 %

Design, Specification and ...

Michael D. Harr ...

List Price: $ 109.00

Our Price: $ 56.40

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996,3211829008,9783211829004
48 %

Design, Specification and ...

Francois Bodart ...

List Price: $ 109.00

Our Price: $ 56.98

Taxonomies for the Development and Verification of Digital Systems,0387240195,9780387240190
80 %

Taxonomies for the Develo ...

Brian Bailey, G ...

List Price: $ 149.99

Our Price: $ 30.47