Checking 全部 - 户外网

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

首页全部商品

共 349 款相关商品

商品分类

全部

热门搜索

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

半基于模型检查 and Checking Retrieval Data Tempor Semistructured Application 海外直订Model 数据检索 Based

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥658 中华商务图书专营店
Apr Spin Software Checking Barcelona 11th Spain 第11届国际旋海外直订Model International Workshop 模型检查软件

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥658 中华商务图书专营店
12th Software International 海外直订Model Spin San 第12届国际纺 Francisco 模型检测软件 Checking Workshop

原价 662销量 0

￥658 中华商务图书专营店
April Spin Software Checking Grenoble 9th France 第九届国际纺海外直订Model International Workshop 模型检测软件

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥658 中华商务图书专营店
Aspects Practical 6th 海外直订Theoretical Spin Checking Internatio 理论和实践方 5th 自旋模型检验 and Model

原价 662销量 0

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

原价 662销量 0

￥658 中华商务图书专营店
Artificial and Intelligence Riva 海外直订Model 4th MoChArt del 模型检查和人工智能：第四次 Checking Workshop

原价 662销量 0

￥658 中华商务图书专营店
Workshop 模型检验和人工智能：第六届 and Artificial 6th 海外直订Model Checking Mochart Intelligence International

原价 662销量 0

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

原价 662销量 0

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

原价 662销量 0

￥658 中华商务图书专营店
and Checking Software Workshop 海外直订Spin Verification International 第 Spin 自旋模型检验与软件验证 Model 7th

原价 662销量 0

￥658 中华商务图书专营店
进口英语原版 Principles 精装英文原版 Press Baier 计算机模型检验原理 The Model 英文版书籍 Christel Checking MIT

原价 1158销量 0

￥1158 瑞雅图书专营
进口英语原版 Principles 精装英文原版 Press Baier 计算机模型检验原理 The Model 英文版书籍 Christel Checking MIT

原价 1177销量 0

￥1177 世纪华典图书专营店
Checki From Guide Checking Software Annotation 从模型检海外直订Concise Verification Model 软件验证简明指南

原价 1048销量 0

￥1042 中华商务图书专营店

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

客服