Checking 全部价格 - 当当网

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

首页全部商品

共 152 款相关商品

商品分类

全部

热门搜索

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

Model Checking Software 按需印刷不退不换Improving 9783639101423 Architectures Scalability

原价 768销量 0

￥768 上海外文图书音像专营店
中商原版 Baier 模型检验原理 Principles Joost Checking Model Katoen 现货英文原版 Pieter Christel

原价 726销量 1

￥441 中华商务图书专营店
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 中华商务图书专营店
验证 and 8th International Interpretation Checking Abstract 模型检验与抽象解释海外直订Verification Con Model

原价 662销量 0

￥662 中华商务图书专营店
Portland Checking Spin 海外直订Model 模型检查**** 10th Software 第十届国际旋 International Usa Workshop.

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
22nd International Stellenbosch Checking 模型检查****：第22届国际研 2015 Software Spin 海外直订Model Symposium

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店
July 第十四届国际 14th Workshop Berlin Spin Software International 模型检查**** 海外直订Model Germany Checking

原价 662销量 0

￥662 中华商务图书专营店
Data 半数据检索 Semistructured Checking Based and Retrieval 基于模型检查海外直订Model Application Tempor

原价 662销量 0

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

原价 662销量 0

￥662 中华商务图书专营店

12 3 4 5 6 下一页

客服