• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proving” 共152个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Value-Range Analysis of C Programs: Towards Proving

      预售AnalysisProgramsTowards

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

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

      预售TheoremProvingHigher

      【预售】Theorem Proving in Higher Order Logics

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

      预订TheoremProvingHigher

      【预订】Theorem Proving in Higher Order Logics

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

      预售InternationalInteractiveTheorem

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

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

      Interactive预订TheoremProving

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

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

      Interactive预订TheoremProving

      【预订】Interactive Theorem Proving

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

      预售AnalysisTheoremsLogical

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

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

      Interactive预订TheoremProving

      【预订】Interactive Theorem Proving

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】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 领券购买 
    • 【预售】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

      预售InteractiveTheoremProving

      【预售】Interactive Theorem Proving

      ¥951券后¥9850人已购买
      优惠券¥34 领券购买 
    • 【预订】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 Mr Jennings

      预订JenningsProvingMr

      【预订】Proving Mr Jennings

      ¥137券后¥1420人已购买
      优惠券¥5 领券购买 
    • 【预订】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 领券购买 
    • 【预订】Proving in the Elementary Mathematics Classroom

      MathematicsElementaryClassroom预订

      【预订】Proving in the Elementary Mathematics Classroom

      ¥553券后¥5870人已购买
      优惠券¥34 领券购买 
    • 【预售】Automated Theorem Proving in Software Engineering

      预售EngineeringAutomatedSoftware

      【预售】Automated Theorem Proving in Software Engineering

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预订】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 领券购买 
    • 预订 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 领券购买 
    • 预订 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 领券购买 
    • 预订 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: 9781013550874

      9781013550874Department预订Ordnance

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

      ¥249券后¥2650人已购买
      优惠券¥16 领券购买 
    • 预订 Proving Your Library’s Value: Persuasive, Organized, and Memorable Messaging 证明图书馆的价值:具有说服力,有条理

      条理说服力PersuasiveOrganized

      预订 Proving Your Library’s Value: Persuasive, Organized, and Memorable Messaging 证明图书馆的价值:具有说服力,有条理

      ¥313券后¥3470人已购买
      优惠券¥34 领券购买 
    • 预订 New Directions for Mathematics Education Research on Proving: Honoring the Legacy of John and Annie Selden 数学教育

      MathematicsDirectionsEducation预订

      预订 New Directions for Mathematics Education Research on Proving: Honoring the Legacy of John and Annie Selden 数学教育

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

      因果关系图解Illustration法庭

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

      ¥1,751券后¥1,8310人已购买
      优惠券¥80 领券购买 
    • [预订]The Art of Proving Binomial Identities 9781032475585

      9781032475585Identities预订Binomial

      [预订]The Art of Proving Binomial Identities 9781032475585

      ¥549券后¥5830人已购买
      优惠券¥34 领券购买 
    • 预订 Proving Ground: Expertise and Appalachian Landscapes 试验场:专业知识和阿巴拉契亚山地景观: 9781421425399

      阿巴拉契亚试验场山地9781421425399

      预订 Proving Ground: Expertise and Appalachian Landscapes 试验场:专业知识和阿巴拉契亚山地景观: 9781421425399

      ¥640券后¥6740人已购买
      优惠券¥34 领券购买 
    • [预订]Machine Learning for Automated Theorem Proving 9781680838985

      9781680838985Automated预订Learning

      [预订]Machine Learning for Automated Theorem Proving 9781680838985

      ¥1,016券后¥1,0960人已购买
      优惠券¥80 领券购买 
    • 预订 Proving The Value Of Soft Skills 证明软技能的价值: 9781950496631

      9781950496631预订证明技能

      预订 Proving The Value Of Soft Skills 证明软技能的价值: 9781950496631

      ¥705券后¥7390人已购买
      优惠券¥34 领券购买 
    • 预订 NEON TETRA Handbook: A comprehensive handbook to raising and caring for your Neon tetras, proving tips on health, b

      HandbookNEONcomprehensive预订

      预订 NEON TETRA Handbook: A comprehensive handbook to raising and caring for your Neon tetras, proving tips on health, b

      ¥131券后¥1360人已购买
      优惠券¥5 领券购买 
    • 预订 Proving Impact: Why what we’ve been doing before can’t be relied on: 9798320162379

      9798320162379预订ProvingImpact

      预订 Proving Impact: Why what we’ve been doing before can’t be relied on: 9798320162379

      ¥186券后¥1910人已购买
      优惠券¥5 领券购买 
    • 预订 Mechanical Theorem Proving in Geometries

      MechanicalGeometries预订Theorem

      预订 Mechanical Theorem Proving in Geometries

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

      Interactive预订TheoremProving

      预订 Interactive Theorem Proving

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 预订 Proving Pregnancy

      Pregnancy预订Proving

      预订 Proving Pregnancy

      ¥921券后¥1,0010人已购买
      优惠券¥80 领券购买 
    • 预订 Automated Theorem Proving

      Automated预订TheoremProving

      预订 Automated Theorem Proving

      ¥978券后¥1,0580人已购买
      优惠券¥80 领券购买 
    • 预订 Automated Theorem Proving: After 25 Years: 9780821850275

      9780821850275Automated预订Theorem

      预订 Automated Theorem Proving: After 25 Years: 9780821850275

      ¥1,534券后¥1,6140人已购买
      优惠券¥80 领券购买 
    • 预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明:艾美奖诺瑟的数学生涯: 9783030628109

      艾美奖9783030628109Mathematics预订

      预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明:艾美奖诺瑟的数学生涯: 9783030628109

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