• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“checking” 共178个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半

      数据检索SemistructuredApplicationRetrieval

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Knowing and Checking 认识和检查

      Checking认识检查Knowing

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

      ¥494券后¥5040人已购买
      优惠券¥10 领券购买 
    • 海外直订Word Order in Toposa: An Aspect of Multiple Feature-Checking Toposa的词序:多重特征检查的一个方面

      词序Toposa多重Multiple

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

      ¥310券后¥3200人已购买
      优惠券¥10 领券购买 
    • 海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理,

      等价FundamentalsEquivalencePrinciples

      海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理,

      ¥1,729券后¥1,7890人已购买
      优惠券¥60 领券购买 
    • 海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

      InternationalCheckingSoftwareWorkshop

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

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务:记者深度伪造指南: 9781032741321

      伪造核查9781032741321Journalist

      预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务:记者深度伪造指南: 9781032741321

      ¥536券后¥5700人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

      InterpretationInternationalVerification抽象

      海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨

      International研讨SymposiumChecking

      海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨

      ¥1,047券后¥1,0870人已购买
      优惠券¥40 领券购买 
    • 海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺

      InternationalFranciscoCheckingSoftware

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

      InternationalCheckingSoftwareWorkshop

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试

      等价Equivalence调试Debugging

      海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试

      ¥1,800券后¥1,8600人已购买
      优惠券¥60 领券购买 
    • 海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过

      Process健壮ConformanceGuarantees

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

      ¥760券后¥7900人已购买
      优惠券¥30 领券购买 
    • 海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋

      第十届InternationalCheckingSoftware

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订New Methods of Concurrent Checking 并行检查的新方法

      并行ConcurrentChecking检查

      海外直订New Methods of Concurrent Checking 并行检查的新方法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺

      InternationalCheckingSoftwareWorkshop

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证,模型检查和抽象解释:

      InterpretationInternationalVerification抽象

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

      ¥735券后¥7650人已购买
      优惠券¥30 领券购买 
    • 预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务:记者深度伪造指南: 9781032741314

      伪造核查9781032741314Journalist

      预订 Fake-Checking: A Journalist’s Guide to Deepfakes 伪造核查实务:记者深度伪造指南: 9781032741314

      ¥1,904券后¥2,0640人已购买
      优惠券¥160 领券购买 
    • 海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元

      检查方框Checklists编写

      海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元

      ¥557券后¥5670人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 现货 英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836

      英文9780262038836原版现货

      现货 英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836

      ¥525券后¥5450人已购买
      优惠券¥20 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

      InterpretationInternationalVerificationVerificati

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

      ¥764券后¥7940人已购买
      优惠券¥30 领券购买 
    • 海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理,

      等价FundamentalsEquivalencePrinciples

      海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理,

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方

      自旋TheoreticalInternatioPractical

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Model Checking Software 模型校验软件

      校验CheckingSoftware模型

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

      ¥585券后¥6150人已购买
      优惠券¥30 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

      InterpretationInternationalVerificationVerificati

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

      ¥723券后¥7530人已购买
      优惠券¥30 领券购买 
    • 海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能:第四次

      人工智能IntelligenceArtificialChecking

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 按需印刷图书Knowing and Checking:An Epistemological Investigation[9780367141127]

      EpistemologicalInvestigation9780367141127Checking

      按需印刷图书Knowing and Checking:An Epistemological Investigation[9780367141127]

      ¥2,350券后¥2,4700人已购买
      优惠券¥120 领券购买 
    • 海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch,  模型检查软件:第22届国际研

      InternationalStellenboschSymposiumChecking

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

      ¥542券后¥5520人已购买
      优惠券¥10 领券购买 
    • 海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克,助理摄像师

      柯克检票Assistant助理

      海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克,助理摄像师

      ¥1,155券后¥1,1950人已购买
      优惠券¥40 领券购买 
    • 海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法

      量子算法AlgorithmsPrinciples

      海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法

      ¥823券后¥8530人已购买
      优惠券¥30 领券购买 
    • 海外直订Checking Out with the Payment Request API: A Practical Introduction to the Html5 使用支付请求API检查:使用现

      使用IntroductionPracticalAPI

      海外直订Checking Out with the Payment Request API: A Practical Introduction to the Html5 使用支付请求API检查:使用现

      ¥297券后¥3070人已购买
      优惠券¥10 领券购买 
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      ¥1,168券后¥1,2180人已购买
      优惠券¥50 领券购买 
    • 海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开:模型检查的部分顺序方法

      Unfoldings顺序ApproachChecking

      海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开:模型检查的部分顺序方法

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      VerificationTechniquesSoftwareChecking

      海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证:模型检查技术和工具

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

      比例尺细化抽象Abstraction

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

      ¥1,052券后¥1,0920人已购买
      优惠券¥40 领券购买 
    • 海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart  模型检验和人工智能:第六届

      人工智能第六届InternationalIntelligence

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

      英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      ¥1,068券后¥1,2180人已购买
      优惠券¥150 领券购买 
    上一页  1   2   3  4  5  下一页