Checking 全部价格 - 当当网

首页超级人气榜领券中心限时抢购 9块9包邮 19块9包邮

首页全部商品

共 348 款相关商品

商品分类

全部

热门搜索

新上人气热销价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元以上

Large Scale Model 海外直订Abstraction 大比例尺模型检测 for Checking 抽象细化 Refinement

原价 1383销量 0

￥1383 中华商务图书专营店
Event 第28届国际研讨 28th Spin 2022 Symposium Software International 模型检查**** 海外直订Model Virtual Checking

原价 1325销量 0

￥1325 中华商务图书专营店
Order Approach 展开：模型检查部分顺序方法 Checking Partial Model 海外直订Unfoldings

原价 1325销量 0

￥1325 中华商务图书专营店
Methods 并行检查 Checking 新方法 Concurrent 海外直订New

原价 1325销量 0

￥1325 中华商务图书专营店
Methods 并发检查 Checking 新方法 Concurrent 海外直订New

原价 1325销量 0

￥1325 中华商务图书专营店
Large Scale Model 海外直订Abstraction 大比例尺模型检测 for Checking 抽象细化 Refinement

原价 1233销量 0

￥1233 中华商务图书专营店
验证第2 and 23rd International Interpretation Checking Abstract 模型检验和抽象解释海外直订Verification Model

原价 1070销量 0

￥1064 中华商务图书专营店
Checki 从模型检 Software Model Checking From Verification ****验证简明指南海外直订Concise Annotation Guide

原价 1048销量 0

￥1048 中华商务图书专营店
Readers Chekhov Guide 海外直订Checking Plays and 查阅契诃夫 Directors Actors for 导演和读者给演员 the Out

原价 1043销量 0

￥1043 中华商务图书专营店
Checking Models Relating and 一致性检查：相关过程和模型 Processes 海外直订Conformance

原价 1003销量 0

￥1003 中华商务图书专营店
and Abstract Model Verificati International Checking 25th 海外直订Verification Interpretation

原价 994销量 0

￥994 中华商务图书专营店
Systems Principles and 海外直订Model 模型检验量子系统 Quantum Algorithms 原理与算法 Checking

原价 932销量 0

￥932 中华商务图书专营店
验证 and 24th International Interpretation Checking Abstract 模型检查和抽象解释海外直订Verification Model

原价 869销量 0

￥869 中华商务图书专营店
and Abstract Model Verificati International Checking 25th 海外直订Verification Interpretation

原价 869销量 0

￥869 中华商务图书专营店
具有保证过 with Conformance Checking Discovery Mining Guarantees 健壮过程挖掘海外直订Robust Process

原价 869销量 0

￥864 中华商务图书专营店
Learning Checking and 模型检验本特· 海外直订Model Essays Synthesis Jonsson Bengt Dedicated 综合与学习

原价 861销量 0

￥861 中华商务图书专营店
模型校验**** Software 海外直订Model Checking

原价 728销量 0

￥728 中华商务图书专营店
and Checking Abstract Inter... 模型检查和抽象解释海外直订Verification 验证 Model

原价 699销量 0

￥699 中华商务图书专营店
17th 模型检查和摘要解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥662 中华商务图书专营店
and Checking Abstract Interpretation 模型检查和抽象解释海外直订Verification 验证 Model

原价 662销量 0

￥662 中华商务图书专营店
验证 and 10th International Interpretation Checking Abstract 模型检验与摘要解释海外直订Verification Model

原价 662销量 0

￥662 中华商务图书专营店
19th 模型检查和抽象解释： Checking 验证 International Interpretation Abstract and Model 海外直订Verification

原价 662销量 0

￥662 中华商务图书专营店
Artificial Intelligence MoChArt Checking 模型检测与人工智能：2008年 Workshop and International 海外直订Model 5th

原价 662销量 0

￥662 中华商务图书专营店
Hardness Checking Proofs 海外直订Efficient Approximation 有效检验 Polynomials 多项式证明和逼 and the

原价 662销量 0

￥662 中华商务图书专营店
China 第26届国际学 26th Spin 2019 Symposium Software International 模型检测**** 海外直订Model Beijing Checking

原价 662销量 0

￥662 中华商务图书专营店
Marc 第十三届国际 13th Workshop Vienna Spin Software International 模型检查**** 海外直订Model Austria Checking

原价 662销量 0

￥662 中华商务图书专营店
Workshop 模型检查****：201 Software Netherl the Enschede SPIN International 17th Checking 海外直订Model

原价 662销量 0

￥662 中华商务图书专营店
and Checking Abstract Interpretation 模型检查和抽象解释海外直订Verification 验证 Model

原价 662销量 0

￥662 中华商务图书专营店
验证 and 6th International Interpretation Checking Abstract 模型检验和抽象解释海外直订Verification Con Model

原价 662销量 0

￥662 中华商务图书专营店
Toronto Checking Spin 海外直订Model Canada 模型检测**** 8th Software 第八届国际纺 International May Workshop

原价 662销量 0

￥662 中华商务图书专营店

上一页 123 4 5 6 7 8 9 10 11 12 下一页

客服