• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Checking” 共174个商品
      • 默认
      • 销量
      • 价格
    • 海外直订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: 10th International SPIN

      预售InternationalCheckingSoftware

      【预售】Model Checking Software: 10th International SPIN

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Model Checking Software: 12th International SPIN

      预售InternationalCheckingSoftware

      【预售】Model Checking Software: 12th International SPIN

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】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 领券购买 
    • 【预订】Verification, Model Checking, and Ab...

      Verification预订CheckingModel

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

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Formal Equivalence Checking and Design Debugging

      预售EquivalenceDebuggingChecking

      【预售】Formal Equivalence Checking and Design Debugging

      ¥1,892券后¥1,9720人已购买
      优惠券¥80 领券购买 
    • 【预售】Model Checking Software: 9th International Spin

      预售InternationalCheckingSoftware

      【预售】Model Checking Software: 9th International Spin

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订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 领券购买 
    • 英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍

      原版英文英语英文版

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

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

      量子算法AlgorithmsPrinciples

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

      ¥823券后¥8530人已购买
      优惠券¥30 领券购买 
    • 【预售】25 Years of Model Checking: History, Achievements

      预售AchievementsCheckingHistory

      【预售】25 Years of Model Checking: History, Achievements

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

      InternationalStellenboschSymposiumChecking

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

      ¥542券后¥5520人已购买
      优惠券¥10 领券购买 
    • 【预售】Formal Equivalence Checking and Design Debugging

      预售EquivalenceDebuggingChecking

      【预售】Formal Equivalence Checking and Design Debugging

      ¥1,892券后¥1,9720人已购买
      优惠券¥80 领券购买 
    • 【预订】Model Checking Software

      预订CheckingSoftwareModel

      【预订】Model Checking Software

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Model Checking Software

      预订CheckingSoftwareModel

      【预订】Model Checking Software

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Theoretical and Practical Aspects of SPIN Model Checking

      TheoreticalPractical预订Checking

      【预订】Theoretical and Practical Aspects of SPIN Model Checking

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

      原版中商英文现货

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

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

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

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

      ¥575券后¥5900人已购买
      优惠券¥15 领券购买 
    • 【预订】Checking C Programs with Lint

      预订CheckingProgramswith

      【预订】Checking C Programs with Lint

      ¥170券后¥1750人已购买
      优惠券¥5 领券购买 
    • 现货 模型检测 第2版 英文原版 Model Checking Edmund M Clark【中商原版】

      原版中商英文现货

      现货 模型检测 第2版 英文原版 Model Checking Edmund M Clark【中商原版】

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

      柯克检票Assistant助理

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

      ¥1,155券后¥1,1950人已购买
      优惠券¥40 领券购买 
    • 按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]

      Architectures9783639101423ScalabilityImproving

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

      ¥728券后¥7680人已购买
      优惠券¥40 领券购买 
    • 预售 按需印刷 Knowing and Checking

      预售Checking印刷Knowing

      预售 按需印刷 Knowing and Checking

      ¥1,626券后¥1,7760人已购买
      优惠券¥150 领券购买 
    • 【预订】Model Checking Software 9783642317583

      9783642317583预订CheckingSoftware

      【预订】Model Checking Software 9783642317583

      ¥470券后¥5040人已购买
      优惠券¥34 领券购买 
    • 【预售】New Methods of Concurrent Checking

      预售ConcurrentCheckingMethods

      【预售】New Methods of Concurrent Checking

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

      人工智能第六届InternationalIntelligence

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

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

      EpistemologicalInvestigation9780367141127Checking

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

      ¥2,370券后¥2,4700人已购买
      优惠券¥100 领券购买 
    • 海外直订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 领券购买 
    • 【预售】Model Checking Software: 15th International SPIN

      预售InternationalCheckingSoftware

      【预售】Model Checking Software: 15th International SPIN

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

      Unfoldings顺序ApproachChecking

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

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

      InterpretationInternationalVerification抽象

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

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

      预订CheckingPaymentRequest

      【预订】Checking Out with the Payment Request API

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

      VerificationTechniquesSoftwareChecking

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

      ¥1,407券后¥1,4470人已购买
      优惠券¥40 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

      Interpretation9783030945824Verification预订

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

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

      InterpretationInternationalVerification抽象

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 按需印刷Model Checking Abstract State Machines[9783639018912]

      9783639018912CheckingAbstractMachines

      按需印刷Model Checking Abstract State Machines[9783639018912]

      ¥1,231券后¥1,3310人已购买
      优惠券¥100 领券购买 
    • 海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

      自旋SpinInternationalVerification

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 【预订】Verification, Model Checking, and Abstract Interpretation

      InterpretationVerification预订Checking

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

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