• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Checking” 共129个商品
      • 默认
      • 销量
      • 价格
    • 大灰狼科学探查 Big Bad Wolf Investigates Fairy Tales Fact-checking your favourite stories with SCIENCE! 又日新

      日新探查大灰狼Investigates

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

      ¥64券后¥6946人已购买
      优惠券¥5 领券购买 
    • 现货 模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

      原版中商英文现货

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

      ¥676券后¥7262人已购买
      优惠券¥50 领券购买 
    • 【预订】Model Checking Software

      预订CheckingSoftwareModel

      【预订】Model Checking Software

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预售】Verification, Model Checking, and Abstract Interpretation

      预售InterpretationVerificationChecking

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

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预订】Handbook of Model Checking

      预订HandbookCheckingModel

      【预订】Handbook of Model Checking

      ¥1,333券后¥1,5330人已购买
      优惠券¥200 领券购买 
    • 【预售】Handbook of Model Checking

      预售HandbookCheckingModel

      【预售】Handbook of Model Checking

      ¥1,333券后¥1,5330人已购买
      优惠券¥200 领券购买 
    • 【预订】Verification, Model Checking, and Ab...

      Verification预订CheckingModel

      【预订】Verification, Model Checking, and Ab...

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预售】Conformance Checking

      预售ConformanceChecking

      【预售】Conformance Checking

      ¥782券后¥9320人已购买
      优惠券¥150 领券购买 
    • 【预订】Verification, Model Checking, and Ab...

      Verification预订CheckingModel

      【预订】Verification, Model Checking, and Ab...

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预售】Model Checking Software

      预售CheckingSoftwareModel

      【预售】Model Checking Software

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预售】Verification, Model Checking, and Ab...

      预售VerificationCheckingModel

      【预售】Verification, Model Checking, and Ab...

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 【预订】Model Checking, Synthesis, and Learning 9783030913830

      9783030913830Synthesis预订Checking

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

      ¥611券后¥7110人已购买
      优惠券¥100 领券购买 
    • 【预订】Model Checking Software 9783030846282

      9783030846282预订CheckingSoftware

      【预订】Model Checking Software 9783030846282

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • [预订]Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

      ¥653券后¥8030人已购买
      优惠券¥150 领券购买 
    • 【预订】Model Checking Software: 28th International Symposium, SPIN 2022, Vi 9783031150760

      9783031150760InternationalSymposium预订

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

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

      InternationalCheckingSoftwareWorkshop

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 预订 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

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

      InterpretationInternationalVerificationConference

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

      ¥646券后¥7460人已购买
      优惠券¥100 领券购买 
    • 【预订】Checking C Programs with Lint

      预订CheckingProgramswith

      【预订】Checking C Programs with Lint

      ¥165券后¥1750人已购买
      优惠券¥10 领券购买 
    • 【预订】Checking Out with the Payment Request API

      预订CheckingPaymentRequest

      【预订】Checking Out with the Payment Request API

      ¥331券后¥3910人已购买
      优惠券¥60 领券购买 
    • 现货 模型检测 第2版 英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

      麻省理工学院英文原版现货

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

      ¥555券后¥5900人已购买
      优惠券¥35 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

      ¥726券后¥8760人已购买
      优惠券¥150 领券购买 
    • 现货 模型检测 第2版 英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

      麻省理工学院英文原版现货

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

      ¥555券后¥5900人已购买
      优惠券¥35 领券购买 
    • 预售 按需印刷 Knowing and Checking

      预售Checking印刷Knowing

      预售 按需印刷 Knowing and Checking

      ¥1,611券后¥1,7760人已购买
      优惠券¥165 领券购买 
    • 【预订】Conformance Checking and Diagnosis in Process Mining

      ConformanceDiagnosis预订Checking

      【预订】Conformance Checking and Diagnosis in Process Mining

      ¥448券后¥5480人已购买
      优惠券¥100 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释:

      InterpretationInternationalVerificationChecking

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·

      本特DedicatedSynthesisChecking

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

      ¥811券后¥8610人已购买
      优惠券¥50 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:

      InterpretationInternationalVerificationChecking

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半

      数据检索SemistructuredApplicationRetrieval

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Conformance Checking: Relating Processes and Models 一致性检查:相关过程和模型

      一致性ConformanceProcessesChecking

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

      ¥903券后¥1,0030人已购买
      优惠券¥100 领券购买 
    • 海外直订Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherl 模型检查软件:201

      InternationalCheckingSoftwareWorkshop

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

      InterpretationVerification抽象Checking

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy 随机模型检查:201

      InternationalStochasticChecking模型

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

      ¥509券后¥5590人已购买
      优惠券¥50 领券购买 
    • 海外直订Model Checking Software 模型检查软件

      CheckingSoftware模型检查

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释:

      InterpretationInternationalVerificationChecking

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt  模型检测与人工智能:2008年

      人工智能InternationalIntelligenceArtificial

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋

      InternationalBarcelonaCheckingSoftware

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊

      一致性ConformanceDiagnosisComparing

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

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

      InterpretationInternationalVerificationChecking

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

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

      比例尺细化抽象Abstraction

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

      ¥1,283券后¥1,3830人已购买
      优惠券¥100 领券购买 
    上一页 1  2   3   4  下一页