超级人气榜
Abstract 验证 and Checking Interpretation 海外直订Verification Model 模型检查和抽象解释
Abstract 验证 and Checking Interpretation 海外直订Verification Model 模型检查和抽象解释
￥534折扣价
去抢购
International 验证 Interpretation and 19th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
International 验证 Interpretation and 19th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
￥534折扣价
去抢购
Beijing China Software 模型检测软件 Symposium Spin 2019 International 海外直订Model Checking 26th 第26届国际学
Beijing China Software 模型检测软件 Symposium Spin 2019 International 海外直订Model Checking 26th 第26届国际学
￥534折扣价
去抢购
9781684104048 预订 Checking
9781684104048 预订 Checking
￥285折扣价
去抢购
Checking Banks the 4周达 9780982470725
Checking Banks the 4周达 9780982470725
￥286折扣价
去抢购
the 4周达 Hotel Crowbar Checking 9780990588627
the 4周达 Hotel Crowbar Checking 9780990588627
￥258折扣价
去抢购
Spin 2015 Stellenbosch International Symposium 22nd 海外直订Model Checking Software 模型检查软件：第22届国际研
Spin 2015 Stellenbosch International Symposium 22nd 海外直订Model Checking Software 模型检查软件：第22届国际研
￥552折扣价
去抢购
and Checking 海外直订Knowing 认识和检查
and Checking 海外直订Knowing 认识和检查
￥560折扣价
去抢购
基于模型检查 Retrieval Tempor Based 数据检索 and Semistructured Application 海外直订Model Checking Data 半
基于模型检查 Retrieval Tempor Based 数据检索 and Semistructured Application 海外直订Model Checking Data 半
￥553折扣价
去抢购
Checking Software 海外直订Model 模型检查软件
Checking Software 海外直订Model 模型检查软件
￥553折扣价
去抢购
International 验证 Interpretation and 17th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
International 验证 Interpretation and 17th Abstract 海外直订Verification Model Checking 模型检查和摘要解释：
￥553折扣价
去抢购
International Workshop MoChArt Intelligence 5th Artificial 海外直订Model Checking and 模型检测与人工智能：2008年
International Workshop MoChArt Intelligence 5th Artificial 海外直订Model Checking and 模型检测与人工智能：2008年
￥553折扣价
去抢购
Observed Mod and 流程挖掘中 Process Mining Comparing 海外直订Conformance Checking Diagnosis 一致性检查与诊
Observed Mod and 流程挖掘中 Process Mining Comparing 海外直订Conformance Checking Diagnosis 一致性检查与诊
￥553折扣价
去抢购
International Con 验证 Interpretation and 4th Abstract 海外直订Verification Model Checking 模型检验和抽象解释：
International Con 验证 Interpretation and 4th Abstract 海外直订Verification Model Checking 模型检验和抽象解释：
￥553折扣价
去抢购
International 验证 Interpretation and 14th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
International 验证 Interpretation and 14th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
￥553折扣价
去抢购
Austria Marc Software 模型检查软件 Spin Workshop Vienna International 海外直订Model Checking 13th 第十三届国际
Austria Marc Software 模型检查软件 Spin Workshop Vienna International 海外直订Model Checking 13th 第十三届国际
￥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折扣价
去抢购
International Con 模型检验与抽象解释 Interpretation and 5th Abstract 海外直订Verification Model Checking 第5届国
International Con 模型检验与抽象解释 Interpretation and 5th Abstract 海外直订Verification Model Checking 第5届国
￥553折扣价
去抢购
May Software 模型检测软件 Workshop International Toronto Canada Spin 海外直订Model Checking 8th 第八届国际纺
May Software 模型检测软件 Workshop International Toronto Canada Spin 海外直订Model Checking 8th 第八届国际纺
￥553折扣价
去抢购
Software 模型检测软件 Workshop International San Francisco Spin 海外直订Model Checking 12th 第12届国际纺
Software 模型检测软件 Workshop International San Francisco Spin 海外直订Model Checking 12th 第12届国际纺
￥553折扣价
去抢购
Germany July Software 模型检查软件 Spin Workshop Berlin International 海外直订Model Checking 14th 第十四届国际
Germany July Software 模型检查软件 Spin Workshop Berlin International 海外直订Model Checking 14th 第十四届国际
￥553折扣价
去抢购
Internatio 6th Practical 自旋模型检验 Model Checking 5th Spin 海外直订Theoretical and Aspects 理论和实践方
Internatio 6th Practical 自旋模型检验 Model Checking 5th Spin 海外直订Theoretical and Aspects 理论和实践方
￥553折扣价
去抢购
Con 验证 Checking 模型检验与抽象解释 Interpretation 8th International Abstract 海外直订Verification Model and
Con 验证 Checking 模型检验与抽象解释 Interpretation 8th International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
Usa Software 模型检查软件 Workshop. International Portland Spin 海外直订Model Checking 10th 第十届国际旋
Usa Software 模型检查软件 Workshop. International Portland Spin 海外直订Model Checking 10th 第十届国际旋
￥553折扣价
去抢购
Con 验证 Checking 模型检验与抽象解释 Interpretation 9th International Abstract 海外直订Verification Model and 第九
Con 验证 Checking 模型检验与抽象解释 Interpretation 9th International Abstract 海外直订Verification Model and 第九
￥553折扣价
去抢购
Con 验证 Checking 模型检验和抽象解释 Interpretation 6th International Abstract 海外直订Verification Model and
Con 验证 Checking 模型检验和抽象解释 Interpretation 6th International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
验证 Checking 模型检验与抽象解释 Interpretation Third International Abstract 海外直订Verification Model and
验证 Checking 模型检验与抽象解释 Interpretation Third International Abstract 海外直订Verification Model and
￥553折扣价
去抢购
International Con 验证 Interpretation and 7th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
International Con 验证 Interpretation and 7th Abstract 海外直订Verification Model Checking 模型检查和抽象解释：
￥553折扣价
去抢购
del Riva and Workshop Intelligence MoChArt 4th 海外直订Model Checking Artificial 模型检查和人工智能：第四次
del Riva and Workshop Intelligence MoChArt 4th 海外直订Model Checking Artificial 模型检查和人工智能：第四次
￥553折扣价
去抢购
<< 1567 ..12 >>
⇡