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

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

Design, Specification and ...

Francois Bodart ...

List Price: $ 109.00

Our Price: $ 58.62

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

Symbolic Simulation Metho ...

Robert B. Jones

List Price: $ 169.99

Our Price: $ 30.99

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

Taxonomies for the Develo ...

Brian Bailey, G ...

List Price: $ 149.99

Our Price: $ 31.51

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

Design, Specification and ...

Michael D. Harr ...

List Price: $ 109.00

Our Price: $ 57.99

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

Hierarchical Annotated Ac ...

Eduard Cerny, B ...

List Price: $ 169.99

Our Price: $ 96.99

Introduction to Formal Hardware Verification,3540654453,9783540654452
36 %

Introduction to Formal Ha ...

Thomas Kropf

List Price: $ 89.99

Our Price: $ 57.68

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

System-level Test and Val ...

Matteo Sonza Re ...

List Price: $ 149.99

Our Price: $ 95.92

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

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 165.32

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

Hardware/Software Co-Desi ...

Jean-Michel Ber ...

List Price: $ 279.99

Our Price: $ 180.51

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

Java and the Java Virtual ...

Robert F. Stärk ...

List Price: $ 109.00

Our Price: $ 57.99

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

Petri Nets for Systems En ...

Claude Girault, ...

List Price: $ 159.99

Our Price: $ 104.18

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

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 142.63

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

Cryptographic Security Ar ...

Peter Gutmann

List Price: $ 139.99

Our Price: $ 43.99

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
34 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 144.66

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

Design, Specification and ...

Philippe Palanq ...

List Price: $ 109.00

Our Price: $ 58.99

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

Manufacturing of Gene The ...

G. Subramanian

List Price: $ 279.99

Our Price: $ 183.99

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

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 54.99

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

Verification Plans The Fi ...

Peet James

List Price: $ 179.99

Our Price: $ 147.49