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

人工智能 Intelligence Artificial Checking

海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Symposium Checking Software

海外直订Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China 模型检测软件:第26届国际学

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Stellenbosch Symposium Checking

海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Checking

海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherl 模型检查软件：201

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
人工智能第六届 International Intelligence

海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证，模型检验和抽象解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
多项式 Approximation Polynomials Efficient

海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
第十届 International Checking Software

海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
数据检索 Semistructured Application Retrieval

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释：

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Francisco Checking Software

海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Checking

海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Checking Software Workshop

海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Barcelona Checking Software

海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
自旋 Spin International Verification

海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
自旋 Theoretical Internatio Practical

海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Verification 抽象 Checking Abstract

海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释

￥649 券后￥699 0人已购买
优惠券￥ 50  领券购买 
9783030913830 Synthesis 预订 Checking

【预订】Model Checking, Synthesis, and Learning 9783030913830

￥611 券后￥711 0人已购买
优惠券￥ 100  领券购买 
校验 Checking Software 模型

海外直订Model Checking Software 模型校验软件

￥678 券后￥728 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US

￥646 券后￥746 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, US

￥646 券后￥746 0人已购买
优惠券￥ 100  领券购买 
预订 Checking Quantum Systems

【预订】Model Checking Quantum Systems

￥667 券后￥767 0人已购买
优惠券￥ 100  领券购买 
Architectures 9783639101423 Scalability Improving

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

￥688 券后￥768 0人已购买
优惠券￥ 80  领券购买 
Interpretation Verification 预订 Checking

[预订]Verification, Model Checking, and Abstract Interpretation

￥653 券后￥803 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France

￥700 券后￥850 0人已购买
优惠券￥ 150  领券购买 
本特 Dedicated Synthesis Checking

海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·

￥811 券后￥861 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United

￥712 券后￥862 0人已购买
优惠券￥ 150  领券购买 
Interpretation International Verification Conference

预订 Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United

￥712 券后￥862 0人已购买
优惠券￥ 150  领券购买 
Process 健壮 Conformance Guarantees

海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 
Interpretation International Verification Verificati

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

￥819 券后￥869 0人已购买
优惠券￥ 50  领券购买 