Checking什么牌子好,Checking哪里有卖? - 第3页

人工智能 Intelligence Artificial Checking
海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证，模型检验和抽象解释:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
多项式 Approximation Polynomials Efficient
海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼
￥543券后￥5530人已购买
优惠券￥10 领券购买 
第十届 International Checking Software
海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋
￥543券后￥5530人已购买
优惠券￥10 领券购买 
数据检索 Semistructured Application Retrieval
海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释：
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Francisco Checking Software
海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
自旋 Spin International Verification
海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第
￥543券后￥5530人已购买
优惠券￥10 领券购买 
自旋 Theoretical Internatio Practical
海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：
￥546券后￥5560人已购买
优惠券￥10 领券购买 
Checking 认识检查 Knowing
海外直订Knowing and Checking 认识和检查
￥550券后￥5600人已购买
优惠券￥10 领券购买 
检查方框 Checklists 编写
海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元
￥557券后￥5670人已购买
优惠券￥10 领券购买 
9786207842780 Guidelines Editorial Practices
预订 Editorial Guidelines and Fact-Checking Practices: 9786207842780
￥541券后￥5750人已购买
优惠券￥34 领券购买 
9781032178172 预订 Checking Knowing
[预订]Knowing and Checking 9781032178172
￥553券后￥5870人已购买
优惠券￥34 领券购买 
麻省理工学院英文原版现货
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社
￥575券后￥5900人已购买
优惠券￥15 领券购买 
麻省理工学院英文原版现货
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社
￥575券后￥5900人已购买
优惠券￥15 领券购买 
2023 International 9783031321566 Symposium
[预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 9783031321566
￥569券后￥6030人已购买
优惠券￥34 领券购买 
校验 Checking Software 模型
海外直订Model Checking Software 模型校验软件
￥585券后￥6150人已购买
优惠券￥30 领券购买 
Interpretation International Verification Checking
海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:
￥599券后￥6290人已购买
优惠券￥30 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U
￥601券后￥6350人已购买
优惠券￥34 领券购买 
Interpretation International Verification Conference
预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U
￥601券后￥6350人已购买
优惠券￥34 领券购买 
International Checking Software Workshop
海外直订Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherl 模型检查软件：201
￥609券后￥6390人已购买
优惠券￥30 领券购买 
人工智能第六届 International Intelligence
海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届
￥609券后￥6390人已购买
优惠券￥30 领券购买 
Verification 抽象 Checking Abstract
海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释
￥613券后￥6430人已购买
优惠券￥30 领券购买 
英国 Argumentation 论证 Perspective
预订 Fact-Checking Journalism and Political Argumentation: A British Perspective 事实检查新闻与政治论证：英国展望: 97830
￥614券后￥6480人已购买
优惠券￥34 领券购买 
Checking 简明 Verification Annotation
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
￥624券后￥6580人已购买
优惠券￥34 领券购买 
Medical 预售 Checklist Training
【预售】Medical Billing Training: A workbook/Checklist Guide for Checking Medical Claim Status
￥668券后￥7020人已购买
优惠券￥34 领券购买 
9783030913830 Synthesis 预订 Checking
【预订】Model Checking, Synthesis, and Learning 9783030913830
￥677券后￥7110人已购买
优惠券￥34 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥723券后￥7530人已购买
优惠券￥30 领券购买 
本特 Dedicated Synthesis Checking
海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·
￥727券后￥7570人已购买
优惠券￥30 领券购买 