超级人气榜
Checking 3周达 Banks the 9780982470725
Checking 3周达 Banks the 9780982470725
￥267折扣价
去抢购
International 验证 Interpretation and 19th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
International 验证 Interpretation and 19th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
￥534折扣价
去抢购
International 验证 Interpretation and 20th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
International 验证 Interpretation and 20th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
￥534折扣价
去抢购
Abstract 验证 and Checking Interpretation 海外直订Verification Model 模型检查和抽象解释
Abstract 验证 and Checking Interpretation 海外直订Verification Model 模型检查和抽象解释
￥534折扣价
去抢购
Beijing China Software 模型检测软件 Symposium Spin 2019 International 海外直订Model Checking 26th 第26届国际学
Beijing China Software 模型检测软件 Symposium Spin 2019 International 海外直订Model Checking 26th 第26届国际学
￥534折扣价
去抢购
4周达 and Checking Investigation Epistemological Knowing 9781032178172
4周达 and Checking Investigation Epistemological Knowing 9781032178172
￥588折扣价
去抢购
Fact Checking Practices Guidelines and Editorial 3周达 9786207842780
Fact Checking Practices Guidelines and Editorial 3周达 9786207842780
￥589折扣价
去抢购
Out Introduction Checking HTML5 Re... the API Practical Request Payment 4周达 with 9781484251836
Out Introduction Checking HTML5 Re... the API Practical Request Payment 4周达 with 9781484251836
￥375折扣价
去抢购
Torment Hiding Conquered OCD Hidden Checking How Faking the and 3周达 Life 9781982286965
Torment Hiding Conquered OCD Hidden Checking How Faking the and 3周达 Life 9781982286965
￥268折扣价
去抢购
Model Refinement Large Scale 大比例尺模型检测 Checking 海外直订Abstraction for 抽象细化
Model Refinement Large Scale 大比例尺模型检测 Checking 海外直订Abstraction for 抽象细化
￥1092折扣价
去抢购
Fact Checking 3周达 Website Check Launch Reality Remote 9798227397713
Fact Checking 3周达 Website Check Launch Reality Remote 9798227397713
￥493折扣价
去抢购
France April Software 模型检测软件 Spin Workshop Grenoble International 海外直订Model Checking 9th 第九届国际纺
France April Software 模型检测软件 Spin Workshop Grenoble International 海外直订Model Checking 9th 第九届国际纺
￥549折扣价
去抢购
Spain Apr Software 模型检查软件 Spin Workshop Barcelona International 海外直订Model Checking 11th 第11届国际旋
Spain Apr Software 模型检查软件 Spin Workshop Barcelona International 海外直订Model Checking 11th 第11届国际旋
￥549折扣价
去抢购
Spin 2015 Stellenbosch International Symposium 22nd 海外直订Model Checking Software 模型检查软件：第22届国际研
Spin 2015 Stellenbosch International Symposium 22nd 海外直订Model Checking Software 模型检查软件：第22届国际研
￥552折扣价
去抢购
Feature Multiple Word Checking Aspect Toposa 4周达 Order 9781556711817
Feature Multiple Word Checking Aspect Toposa 4周达 Order 9781556711817
￥387折扣价
去抢购
International Workshop MoChArt Intelligence 5th Artificial 海外直订Model Checking and 模型检测与人工智能：2008年
International Workshop MoChArt Intelligence 5th Artificial 海外直订Model Checking and 模型检测与人工智能：2008年
￥553折扣价
去抢购
Checking Software 海外直订Model 模型检查软件
Checking Software 海外直订Model 模型检查软件
￥553折扣价
去抢购
del Riva and Workshop Intelligence MoChArt 4th 海外直订Model Checking Artificial 模型检查和人工智能：第四次
del Riva and Workshop Intelligence MoChArt 4th 海外直订Model Checking Artificial 模型检查和人工智能：第四次
￥553折扣价
去抢购
International 验证 Interpretation and 17th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
International 验证 Interpretation and 17th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
￥553折扣价
去抢购
Internatio 6th Practical 自旋模型检验 Model Checking 5th Spin 海外直订Theoretical and Aspects 理论和实践方
Internatio 6th Practical 自旋模型检验 Model Checking 5th Spin 海外直订Theoretical and Aspects 理论和实践方
￥553折扣价
去抢购
International 验证 Interpretation and 14th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
International 验证 Interpretation and 14th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
￥553折扣价
去抢购
International Con 模型检验与抽象解释 Interpretation and 5th Abstract 海外直订Verification Model Checking 第5届国
International Con 模型检验与抽象解释 Interpretation and 5th Abstract 海外直订Verification Model Checking 第5届国
￥553折扣价
去抢购
基于模型检查 Retrieval Tempor Based 数据检索 and Semistructured Application 海外直订Model Checking Data 半
基于模型检查 Retrieval Tempor Based 数据检索 and Semistructured Application 海外直订Model Checking Data 半
￥553折扣价
去抢购
Con 验证 Checking 模型检验与抽象解释 Interpretation 8th International Abstract 海外直订Verification Model and
Con 验证 Checking 模型检验与抽象解释 Interpretation 8th International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
多项式 有效检验 the and Hardness Approximation Proofs 海外直订Efficient Checking Polynomials 证明和逼
多项式 有效检验 the and Hardness Approximation Proofs 海外直订Efficient Checking Polynomials 证明和逼
￥553折扣价
去抢购
验证 Checking 模型检验与摘要解释 Interpretation 10th International Abstract 海外直订Verification Model and
验证 Checking 模型检验与摘要解释 Interpretation 10th International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
Germany July Software 模型检查软件 Spin Workshop Berlin International 海外直订Model Checking 14th 第十四届国际
Germany July Software 模型检查软件 Spin Workshop Berlin International 海外直订Model Checking 14th 第十四届国际
￥553折扣价
去抢购
Observed Mod and 流程挖掘中 Process Mining Comparing 海外直订Conformance Checking Diagnosis 一致性检查与诊
Observed Mod and 流程挖掘中 Process Mining Comparing 海外直订Conformance Checking Diagnosis 一致性检查与诊
￥553折扣价
去抢购
Austria Marc Software 模型检查软件 Spin Workshop Vienna International 海外直订Model Checking 13th 第十三届国际
Austria Marc Software 模型检查软件 Spin Workshop Vienna International 海外直订Model Checking 13th 第十三届国际
￥553折扣价
去抢购
验证 Checking 模型检验和抽象解释 Interpretation 15th International Abstract 海外直订Verification Model and
验证 Checking 模型检验和抽象解释 Interpretation 15th International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
<< 1 ..8910 ..12 >>
⇡