• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proving” 共163个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Geometric Inequalities: Methods of Proving 几何不等式:证明方法

      不等式Inequalities几何Geometric

      海外直订Geometric Inequalities: Methods of Proving 几何不等式:证明方法

      ¥505券后¥5150人已购买
      优惠券¥10 领券购买 
    • 海外直订Interactive Theorem Proving 交互式定理证明

      定理交互式Interactive证明

      海外直订Interactive Theorem Proving 交互式定理证明

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 【预订】Theorem Proving in Higher Order Logics

      预订TheoremProvingHigher

      【预订】Theorem Proving in Higher Order Logics

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

      定理力学几何Mechanical

      海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订Reading, Writing, and Proving: A Closer Look at Mathematics 阅读、写作和证明:数学近观

      近观Mathematics证明写作

      海外直订Reading, Writing, and Proving: A Closer Look at Mathematics 阅读、写作和证明:数学近观

      ¥683券后¥7130人已购买
      优惠券¥30 领券购买 
    • 海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证

      医药图书高阶定理International

      海外直订医药图书Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 20 高阶逻辑中的定理证

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明:第五届国际

      定理交互式第五届International

      海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明:第五届国际

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 20 高阶逻辑中的定理证明:第14

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 20 高阶逻辑中的定理证明:第14

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的

      定理Interactive交互Analysis

      海外直订Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 利用交互定理证明的未来能源系统的

      ¥647券后¥6770人已购买
      优惠券¥30 领券购买 
    • 海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明

      软件工程定理EngineeringAutomated

      海外直订Automated Theorem Proving in Software Engineering 软件工程中定理的自动证明

      ¥584券后¥5940人已购买
      优惠券¥10 领券购买 
    • 海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术

      恒等式二项式IdentitiesBinomial

      海外直订The Art of Proving Binomial Identities 二项式恒等式的证明艺术

      ¥965券后¥9950人已购买
      优惠券¥30 领券购买 
    • 海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明:第四届国际

      定理交互式International第四届

      海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明:第四届国际

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明:第22

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 20 高阶逻辑中的定理证明:第22

      ¥539券后¥5490人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明

      高阶定理逻辑证明

      海外直订Theorem Proving in Higher Order Logics 高阶逻辑中的定理证明

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 20 高阶逻辑中的定理证明:第18

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 20 高阶逻辑中的定理证明:第18

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

      VerificationRequirementsSatisfiesSolution

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

      ¥1,418券后¥1,4580人已购买
      优惠券¥40 领券购买 
    • 海外直订Interactive Theorem Proving 交互式定理证明

      定理交互式Interactive证明

      海外直订Interactive Theorem Proving 交互式定理证明

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 海外直订As the World Turns: The History of Proving the Earth Rotates 随着世界的转动:证明地球转动的历史

      转动随着证明地球

      海外直订As the World Turns: The History of Proving the Earth Rotates 随着世界的转动:证明地球转动的历史

      ¥726券后¥7560人已购买
      优惠券¥30 领券购买 
    • [预订]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 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明:第十

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97 高阶逻辑中的定理证明:第十

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明

      定理Mechanical符号Symbolic

      海外直订Symbolic Logic and Mechanical Theorem Proving 符号逻辑与机械定理证明

      ¥946.1券后¥976.10人已购买
      优惠券¥30 领券购买 
    • 海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明

      软件工程定理InteractiveEngineering

      海外直订Interactive Theorem Proving in Software Engineering 软件工程中的交互定理证明

      ¥583券后¥6130人已购买
      优惠券¥30 领券购买 
    • 预订 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 领券购买 
    • 海外直订Generating Test Templates Via Automated Theorem Proving 利用自动定理证明生成测试模板

      定理GeneratingTemplatesAutomated

      海外直订Generating Test Templates Via Automated Theorem Proving 利用自动定理证明生成测试模板

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 预订 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 领券购买 
    • 预订 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 领券购买 
    • 预订 Medical Illustration in the Courtroom: Proving Injury, Causation, and Damages 法庭医学图解:证明伤害、因果关系与损

      因果关系图解Illustration法庭

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

      ¥645券后¥6790人已购买
      优惠券¥34 领券购买 
    • 预订 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 领券购买 
    • 预订 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 领券购买 
    • 预订 Proving Your Library’s Value: Persuasive, Organized, and Memorable Messaging 证明图书馆的价值:具有说服力,有条理

      条理说服力PersuasiveOrganized

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

      ¥313券后¥3470人已购买
      优惠券¥34 领券购买 
    • 预订 Proving The Value Of Soft Skills 证明软技能的价值: 9781950496631

      9781950496631预订证明技能

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

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

      阿巴拉契亚试验场山地9781421425399

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

      ¥640券后¥6740人已购买
      优惠券¥34 领券购买 
    • 海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

      定理力学几何Mechanical

      海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • [预订]Machine Learning for Automated Theorem Proving 9781680838985

      9781680838985Automated预订Learning

      [预订]Machine Learning for Automated Theorem Proving 9781680838985

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

      9781032475585Identities预订Binomial

      [预订]The Art of Proving Binomial Identities 9781032475585

      ¥549券后¥5830人已购买
      优惠券¥34 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 20 高阶逻辑中的定理证明:第15

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 20 高阶逻辑中的定理证明:第15

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 预订 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 领券购买 
    • 海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术

      恒等式二项式IdentitiesBinomial

      海外直订Art of Proving Binomial Identities 证明二项式恒等式的艺术

      ¥636券后¥6660人已购买
      优惠券¥30 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届

      高阶定理InternationalConference

      海外直订Theorem Proving in Higher Order Logics: 11th International Conference, Tphols'98 高阶逻辑定理的证明:第11届

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    上一页  1  2  3   4   5  下一页