• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proving” 共163个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Theorem Proving in Higher Order Logics: 18th

      预售TheoremProvingHigher

      【预售】Theorem Proving in Higher Order Logics: 18th

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】The Efficiency of Theorem Proving Strategies: A

      预售EfficiencyStrategiesTheorem

      【预售】The Efficiency of Theorem Proving Strategies: A

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Symbolic Logic and Mechanical Theorem Proving

      预售MechanicalSymbolicTheorem

      【预售】Symbolic Logic and Mechanical Theorem Proving

      ¥743券后¥7770人已购买
      优惠券¥34 领券购买 
    • 【预订】Methods and Techniques for Proving I...

      Techniques预订MethodsProving

      【预订】Methods and Techniques for Proving I...

      ¥497券后¥5310人已购买
      优惠券¥34 领券购买 
    • 【预售】Theorem Proving in Higher Order Logics: 10th

      预售TheoremProvingHigher

      【预售】Theorem Proving in Higher Order Logics: 10th

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Proving Shakespeare

      预售ShakespeareProving

      【预售】Proving Shakespeare

      ¥281券后¥3150人已购买
      优惠券¥34 领券购买 
    • 【预售】Interactive Theorem Proving: 5th International...

      预售InternationalInteractiveTheorem

      【预售】Interactive Theorem Proving: 5th International...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】Interactive Theorem Proving

      Interactive预订TheoremProving

      【预订】Interactive Theorem Proving

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Value-Range Analysis of C Programs: Towards Proving

      预售AnalysisProgramsTowards

      【预售】Value-Range Analysis of C Programs: Towards Proving

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Reading, Writing, and Proving: A Close

      预售ReadingWritingProving

      【预售】Reading, Writing, and Proving: A Close

      ¥622券后¥6560人已购买
      优惠券¥34 领券购买 
    • 【预订】Theorem Proving in Higher Order Logics

      预订TheoremProvingHigher

      【预订】Theorem Proving in Higher Order Logics

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Interactive Theorem Proving: Third International

      预售InternationalInteractiveTheorem

      【预售】Interactive Theorem Proving: Third International

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Theorem Proving in Higher Order Logics

      预售TheoremProvingHigher

      【预售】Theorem Proving in Higher Order Logics

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Interactive Theorem Proving: Second International

      预售InternationalInteractiveTheorem

      【预售】Interactive Theorem Proving: Second International

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】First-Order Logic and Automated Theorem Proving

      Automated预订TheoremProving

      【预订】First-Order Logic and Automated Theorem Proving

      ¥948券后¥9820人已购买
      优惠券¥34 领券购买 
    • 【预订】Interactive Theorem Proving: 8th Int...

      Interactive预订TheoremProving

      【预订】Interactive Theorem Proving: 8th Int...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Logical Analysis of Hybrid Systems: Proving Theorems

      预售AnalysisTheoremsLogical

      【预售】Logical Analysis of Hybrid Systems: Proving Theorems

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预订】Advances in Mathematics Education Research on Proof and Proving: An International Perspective

      InternationalMathematicsPerspectiveEducation

      【预订】Advances in Mathematics Education Research on Proof and Proving: An International Perspective

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预订】Proving Bribery, Fraud and Money Lau...

      预订ProvingBriberyFraud

      【预订】Proving Bribery, Fraud and Money Lau...

      ¥1,440券后¥1,5200人已购买
      优惠券¥80 领券购买 
    • 【预售】Formalized Probability Theory and Applications Using Theorem Proving

      预售ApplicationsProbabilityFormalized

      【预售】Formalized Probability Theory and Applications Using Theorem Proving

      ¥1,589券后¥1,6690人已购买
      优惠券¥80 领券购买 
    • 【预订】Interactive Theorem Proving

      Interactive预订TheoremProving

      【预订】Interactive Theorem Proving

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】The Proving: The Zambinos of Blue Hill

      预售ZambinosProvingBlue

      【预售】The Proving: The Zambinos of Blue Hill

      ¥148券后¥1530人已购买
      优惠券¥5 领券购买 
    • 【预订】Methods and Techniques for Proving I...

      Techniques预订MethodsProving

      【预订】Methods and Techniques for Proving I...

      ¥184券后¥1890人已购买
      优惠券¥5 领券购买 
    • 【预售】The Art of Proving Binomial Identities

      预售IdentitiesBinomialProving

      【预售】The Art of Proving Binomial Identities

      ¥1,046券后¥1,1260人已购买
      优惠券¥80 领券购买 
    • 【预订】Proving Woman

      预订ProvingWoman

      【预订】Proving Woman

      ¥504券后¥5380人已购买
      优惠券¥34 领券购买 
    • 【预售】Interactive Theorem Proving

      预售InteractiveTheoremProving

      【预售】Interactive Theorem Proving

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】Proving in the Elementary Mathematics Classroom

      MathematicsElementaryClassroom预订

      【预订】Proving in the Elementary Mathematics Classroom

      ¥553券后¥5870人已购买
      优惠券¥34 领券购买 
    • 【预订】Proving Mr Jennings

      预订JenningsProvingMr

      【预订】Proving Mr Jennings

      ¥137券后¥1420人已购买
      优惠券¥5 领券购买 
    • 【预售】Automated Theorem Proving in Software Engineering

      预售EngineeringAutomatedSoftware

      【预售】Automated Theorem Proving in Software Engineering

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预售 按需印刷 The Art of Proving Binomial Identities

      预售IdentitiesBinomial印刷

      预售 按需印刷 The Art of Proving Binomial Identities

      ¥870券后¥1,0200人已购买
      优惠券¥150 领券购买 
    • 【预订】Advances in Mathematics Education Research on Proof and Proving

      MathematicsEducation预订Advances

      【预订】Advances in Mathematics Education Research on Proof and Proving

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预订】Theorem Proving in Higher Order Logics

      预订TheoremProvingHigher

      【预订】Theorem Proving in Higher Order Logics

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • [预订]Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089

      9783030784089Interactive预订Analysis

      [预订]Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证:证明设计方案满足要求

      VerificationRequirementsSatisfiesSolution

      海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证:证明设计方案满足要求

      ¥1,418券后¥1,4580人已购买
      优惠券¥40 领券购买 
    • 预订 Algonquian, Wiyot, and Yurok: Proving a Distant Genetic Relationship: 9783112420454

      9783112420454RelationshipAlgonquian预订

      预订 Algonquian, Wiyot, and Yurok: Proving a Distant Genetic Relationship: 9783112420454

      ¥1,828券后¥1,9080人已购买
      优惠券¥80 领券购买 
    • 预订 Girl Baller: A Basketball Story About Proving Everyone Wrong: 9780995898424

      9780995898424Basketball预订Everyone

      预订 Girl Baller: A Basketball Story About Proving Everyone Wrong: 9780995898424

      ¥106券后¥1110人已购买
      优惠券¥5 领券购买 
    • 预订 Medical Illustration in the Courtroom: Proving Injury, Causation, and Damages 法庭医学图解:证明伤害、因果关系与损

      因果关系图解Illustration法庭

      预订 Medical Illustration in the Courtroom: Proving Injury, Causation, and Damages 法庭医学图解:证明伤害、因果关系与损

      ¥645券后¥6790人已购买
      优惠券¥34 领券购买 
    • 预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013324109

      9781013324109Department预订Ordnance

      预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013324109

      ¥382券后¥4160人已购买
      优惠券¥34 领券购买 
    • 预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013550874

      9781013550874Department预订Ordnance

      预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013550874

      ¥249券后¥2650人已购买
      优惠券¥16 领券购买 
    • [预订]Machine Learning for Automated Theorem Proving 9781680838985

      9781680838985Automated预订Learning

      [预订]Machine Learning for Automated Theorem Proving 9781680838985

      ¥1,016券后¥1,0960人已购买
      优惠券¥80 领券购买 
    上一页  1   2  3  4   5  下一页