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

原版中商英文现货

现货模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

￥676 券后￥726 2人已购买
优惠券￥ 50  领券购买 
日新探查大灰狼 Investigates

大灰狼科学探查 Big Bad Wolf Investigates Fairy Tales Fact-checking your favourite stories with SCIENCE! 又日新

￥64 券后￥69 47人已购买
优惠券￥ 5  领券购买 
大音探查大灰狼 Investigates

大灰狼科学探查 Big Bad Wolf Investigates Fairy Tales Fact-checking your favourite stories with SCIENCE! 大音

￥64 券后￥69 6人已购买
优惠券￥ 5  领券购买 
麻省理工学院英文原版现货

现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

￥555 券后￥590 0人已购买
优惠券￥ 35  领券购买 
麻省理工学院英文原版现货

现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

￥555 券后￥590 0人已购买
优惠券￥ 35  领券购买 
认识论 Epistemological Investigation Checking

海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

￥1,921 券后￥2,021 0人已购买
优惠券￥ 100  领券购买 
预订 Checking Quantum Systems

【预订】Model Checking Quantum Systems

￥667 券后￥767 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Checking

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

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

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

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

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预订 Handbook Checking Model

【预订】Handbook of Model Checking

￥1,333 券后￥1,533 0人已购买
优惠券￥ 200  领券购买 
本特 Dedicated Synthesis Checking

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

￥811 券后￥861 0人已购买
优惠券￥ 50  领券购买 
一致性 Conformance Processes Checking

海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型

￥903 券后￥1,003 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification Checking

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

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

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

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

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

￥611 券后￥711 0人已购买
优惠券￥ 100  领券购买 
International Checking Software Workshop

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Checking Software 模型检查

海外直订Model Checking Software 模型检查软件

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

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

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

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

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

海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能：2008年

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
一致性 Conformance Diagnosis Comparing

海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Stochastic Checking 模型

海外直订Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy 随机模型检查：201

￥509 券后￥559 0人已购买
优惠券￥ 50  领券购买 
比例尺细化抽象 Abstraction

海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

￥1,283 券后￥1,383 0人已购买
优惠券￥ 100  领券购买 
Interpretation Verification 抽象 Checking

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

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

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
建模 Information Compliance Automated

海外直订Building Information Modeling: Automated Code Checking and Compliance Processes 建筑信息建模:自动代码检查和

￥2,499 券后￥2,599 0人已购买
优惠券￥ 100  领券购买 
International Symposium Checking Software

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
9783030846282 预订 Checking Software

【预订】Model Checking Software 9783030846282

￥448 券后￥548 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

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

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

[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667

￥726 券后￥876 0人已购买
优惠券￥ 150  领券购买 
Checking 认识检查 Knowing

海外直订Knowing and Checking 认识和检查

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

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

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

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

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

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Flaps Manipulatives Checking 有趣

海外直订Fun Flaps: Phonics: 30 Easy-To-Make, Self-Checking Manipulatives That Teach Key 有趣的Flaps:自

￥115.8 券后￥120.8 0人已购买
优惠券￥ 5  领券购买 
多项式 Approximation Polynomials Efficient

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Chapmans Checking 检查 chapman

海外直订Checking Chapmans 检查chapman

￥429 券后￥459 0人已购买
优惠券￥ 30  领券购买 
词序 Toposa 多重 Multiple

海外直订Word Order in Toposa: An Aspect of Multiple Feature-Checking Toposa的词序:多重特征检查的一个方面

￥347 券后￥377 0人已购买
优惠券￥ 30  领券购买 
Klutzpress Activities Checking Express

海外直订Klutzpress Just Checking In: 100+ Fill-In-The-Blank Activities to Express Yourse Klutzpress

￥164.6 券后￥169.6 0人已购买
优惠券￥ 5  领券购买 