洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関

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

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

Computer Intensive S ...

J. S. Urban. Hj ...

当ショップ価格: ¥ 40467

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

Cryptographic Securi ...

Peter Gutmann

定価: ¥ 17654

当ショップ価格: ¥ 6999

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

System-level Test an ...

Matteo Sonza Re ...

定価: ¥ 23578

当ショップ価格: ¥ 8999

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

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 31139

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

Design, Specificatio ...

Michael D. Harr ...

定価: ¥ 11730

当ショップ価格: ¥ 9899

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
67 %

Verification Methodo ...

Janick Bergeron ...

定価: ¥ 24762

当ショップ価格: ¥ 8249

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

Hardware/Software Co ...

Jean-Michel Ber ...

定価: ¥ 38980

当ショップ価格: ¥ 34896

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

Hierarchical Annotat ...

Eduard Cerny, B ...

定価: ¥ 23578

当ショップ価格: ¥ 16759

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

Verification Plans T ...

Peet James

定価: ¥ 24762

当ショップ価格: ¥ 17653

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

Manufacturing of Gen ...

G. Subramanian

定価: ¥ 25947

当ショップ価格: ¥ 19224

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

Java and the Java Vi ...

Robert F. Stärk ...

定価: ¥ 12914

当ショップ価格: ¥ 9960

Scalable Hardware Verification with Symbolic Simulation,0387244115,9780387244112
21 %

Scalable Hardware Ve ...

Valeria Bertacc ...

定価: ¥ 16469

当ショップ価格: ¥ 12999

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

Design, Specificatio ...

Francois Bodart ...

定価: ¥ 11730

当ショップ価格: ¥ 9960

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

Petri Nets for Syste ...

Claude Girault, ...

当ショップ価格: ¥ 18856

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

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 26822

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

Lectures on Proof Ve ...

Ernst W. Mayr, ...

定価: ¥ 10065

当ショップ価格: ¥ 9659

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

Design, Specificatio ...

Philippe Palanq ...

定価: ¥ 11730

当ショップ価格: ¥ 9999

Introduction to Formal Hardware Verification,3540654453,9783540654452
24 %

Introduction to Form ...

Thomas Kropf

定価: ¥ 12914

当ショップ価格: ¥ 9871