• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Checking” 共178个商品
      • 默认
      • 销量
      • 价格
    • 预订 Fact-Checking in the Digital Age: How Media Firms Integrate Different Fact-Checking Methods into their Strategy 数

      CheckingFactIntegrateDifferent

      预订 Fact-Checking in the Digital Age: How Media Firms Integrate Different Fact-Checking Methods into their Strategy 数

      ¥944券后¥9780人已购买
      优惠券¥34 领券购买 
    • 预订 Qualified: How Competency Checking and Race Collide at Work: 9780063354067

      9780063354067CompetencyQualified预订

      预订 Qualified: How Competency Checking and Race Collide at Work: 9780063354067

      ¥275券后¥3090人已购买
      优惠券¥34 领券购买 
    • 海外直订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: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

      InternationalCheckingSoftwareWorkshop

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

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

      等价Equivalence调试Debugging

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

      ¥1,800券后¥1,8600人已购买
      优惠券¥60 领券购买 
    • 海外直订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: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

      InternationalCheckingSoftwareWorkshop

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订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 领券购买 
    • 【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760

      9783031150760InternationalSymposium预订

      【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760

      ¥1,014券后¥1,0940人已购买
      优惠券¥80 领券购买 
    • 海外直订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 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Pr

      Luxembourg2024InternationalSymposium

      预订 Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Pr

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订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 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

      InterpretationInternationalVerification抽象

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

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

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 Symbolic Model Checking: 9780792393801

      9780792393801预订SymbolicChecking

      预订 Symbolic Model Checking: 9780792393801

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

      InterpretationInternationalVerification抽象

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

      ¥735券后¥7650人已购买
      优惠券¥30 领券购买 
    • 预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

      InterpretationInternationalVerificationConference

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

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

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • [预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023,  9783031321566

      2023International9783031321566Symposium

      [预订]Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 9783031321566

      ¥569券后¥6030人已购买
      优惠券¥34 领券购买 
    • 预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南:从模型检查到标

      Checking简明VerificationAnnotation

      预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南:从模型检查到标

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

      校验CheckingSoftware模型

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

      ¥585券后¥6150人已购买
      优惠券¥30 领券购买 
    • [预订]Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

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

      英文9780262038836原版现货

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

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

      InterpretationInternationalVerification抽象

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

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

      等价FundamentalsEquivalencePrinciples

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

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 预订 Fact-Checking Journalism and Political Argumentation: A British Perspective 事实检查新闻与政治论证:英国展望: 97830

      英国Argumentation论证Perspective

      预订 Fact-Checking Journalism and Political Argumentation: A British Perspective 事实检查新闻与政治论证:英国展望: 97830

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

      检查方框Checklists编写

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

      ¥557券后¥5670人已购买
      优惠券¥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 领券购买 
    • 预订 Editorial Guidelines and Fact-Checking Practices: 9786207842780

      9786207842780GuidelinesEditorialPractices

      预订 Editorial Guidelines and Fact-Checking Practices: 9786207842780

      ¥541券后¥5750人已购买
      优惠券¥34 领券购买 
    • 海外直订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 Software: 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

      2025InternationalProceedingsSymposium

      预订 Model Checking Software: 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

      ¥483券后¥5170人已购买
      优惠券¥34 领券购买 
    • 预订 Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, U

      InterpretationInternationalVerificationConference

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

      ¥601券后¥6350人已购买
      优惠券¥34 领券购买 
    • 【预售】Symbolic Model Checking

      预售SymbolicCheckingModel

      【预售】Symbolic Model Checking

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 The Interactive Home Repair Fact Checking Guide: 9781463582470

      9781463582470Interactive预订Checking

      预订 The Interactive Home Repair Fact Checking Guide: 9781463582470

      ¥113券后¥1180人已购买
      优惠券¥5 领券购买 
    • 预订 Nosy Mom’s Guide Checking Your Kid’s iPhone, iPad, and iPod: How to View and Recover Data on Your Kids? Apple Dev

      Your预订CheckingRecover

      预订 Nosy Mom’s Guide Checking Your Kid’s iPhone, iPad, and iPod: How to View and Recover Data on Your Kids? Apple Dev

      ¥171券后¥1760人已购买
      优惠券¥5 领券购买 
    • 【预订】Model Checking and Artificial Intelligence

      IntelligenceArtificial预订Checking

      【预订】Model Checking and Artificial Intelligence

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

      【预订】Verification, Model Checking, and Abstract Interpretation

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    上一页  1   2  3  4   5  下一页