• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proving” 共164个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用:

      高阶定理InternationalApplications

      海外直订Higher Order Logic Theorem Proving and Its Applications: 8th International Works 高阶逻辑定理证明及其应用:

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

      高阶定理逻辑证明

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场

      瑟尔大卫试验场Proving

      海外直订David Maisel: Proving Ground 大卫·麦瑟尔:试验场

      ¥554券后¥5640人已购买
      优惠券¥10 领券购买 
    • [预订]The Art of Proving Binomial Identities 9781032475585

      9781032475585Identities预订Binomial

      [预订]The Art of Proving Binomial Identities 9781032475585

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

      MathematicsElementaryClassroom预订

      【预订】Proving in the Elementary Mathematics Classroom

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

      软件工程定理EngineeringAutomated

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

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

      软件工程定理EngineeringAutomated

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

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

      软件工程定理InteractiveEngineering

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

      ¥583券后¥6130人已购买
      优惠券¥30 领券购买 
    • 海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En  交互式定理证明:第二届国际

      定理交互式InternationalInteractive

      海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明:第二届国际

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订Generating Test Templates Via Automated Theorem Proving 利用自动定理证明生成测试模板

      定理GeneratingTemplatesAutomated

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

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 【预售】Reading, Writing, and Proving: A Closer Look at

      预售ReadingWritingProving

      【预售】Reading, Writing, and Proving: A Closer Look at

      ¥622券后¥6560人已购买
      优惠券¥34 领券购买 
    • 【预售】Reading, Writing, and Proving: A Close

      预售ReadingWritingProving

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

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

      恒等式二项式IdentitiesBinomial

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

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

      阿巴拉契亚试验场山地9781421425399

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

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

      因果关系图解Illustration法庭

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

      ¥645券后¥6790人已购买
      优惠券¥34 领券购买 
    • 海外直订Reading, Writing, and Proving 阅读,写作和证明

      证明写作ReadingWriting

      海外直订Reading, Writing, and Proving 阅读,写作和证明

      ¥677券后¥7070人已购买
      优惠券¥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 领券购买 
    • 海外直订Reading, Writing, and Proving: A Closer Look at Mathematics 阅读、写作和证明:数学近观

      近观Mathematics证明写作

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

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

      9781950496631预订证明技能

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

      ¥705券后¥7390人已购买
      优惠券¥34 领券购买 
    • 海外直订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 领券购买 
    • 按需印刷Interactive Theorem Proving in Software Engineering[9783836457699]

      9783836457699InteractiveEngineeringSoftware

      按需印刷Interactive Theorem Proving in Software Engineering[9783836457699]

      ¥730券后¥7700人已购买
      优惠券¥40 领券购买 
    • 【预售】Symbolic Logic and Mechanical Theorem Proving

      预售MechanicalSymbolicTheorem

      【预售】Symbolic Logic and Mechanical Theorem Proving

      ¥743券后¥7770人已购买
      优惠券¥34 领券购买 
    • 海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成(彩色):证明提

      太阳系彩色证明形成

      海外直订How the Solar System Forms (In Colour): Proving the Titius Bode law working 太阳系如何形成(彩色):证明提

      ¥775券后¥8050人已购买
      优惠券¥30 领券购买 
    • 海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律

      乌斯波德提提定律

      海外直订Cosmic Secrets Decoded Part 1: Proving the Titius Bode law Wrking 宇宙秘密解密:证明提提乌斯·波德定律

      ¥821券后¥8510人已购买
      优惠券¥30 领券购买 
    • TF The Art of Proving Binomial Identities 博库网

      博库IdentitiesBinomialProving

      TF The Art of Proving Binomial Identities 博库网

      ¥834券后¥8540人已购买
      优惠券¥20 领券购买 
    • 【预订】Interactive Theorem Proving and Program Development 9783642058806

      9783642058806InteractiveDevelopment预订

      【预订】Interactive Theorem Proving and Program Development 9783642058806

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • 海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

      定理交互式程序开发Interactive

      海外直订Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In 交互式定理证明与程序开发:

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

      定理交互式Interactive证明

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

      ¥867券后¥8970人已购买
      优惠券¥30 领券购买 
    • 预订Reading, Writing, and Proving:A Closer Look at Mathematics

      Mathematics预订ReadingWriting

      预订Reading, Writing, and Proving:A Closer Look at Mathematics

      ¥823券后¥9230人已购买
      优惠券¥100 领券购买 
    • 海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明

      定理Automated逻辑证明

      海外直订First-Order Logic and Automated Theorem Proving 一阶逻辑与自动定理证明

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

      定理Mechanical符号Symbolic

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

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

      Automated预订TheoremProving

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

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

      预售InteractiveTheoremProving

      【预售】Interactive Theorem Proving

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

      恒等式二项式IdentitiesBinomial

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

      ¥965券后¥9950人已购买
      优惠券¥30 领券购买 
    • 预订 Proving Pregnancy

      Pregnancy预订Proving

      预订 Proving Pregnancy

      ¥921券后¥1,0010人已购买
      优惠券¥80 领券购买 
    • 预订 David Maisel: Proving Ground: 9781942185666

      9781942185666预订ProvingMaisel

      预订 David Maisel: Proving Ground: 9781942185666

      ¥923券后¥1,0030人已购买
      优惠券¥80 领券购买 
    • 预订 Proving grounds: militarized landscapes, weapons testing, and the environmental impact of U.S. bases / 试验场:军事

      试验场U.S.environmentalmilitarized

      预订 Proving grounds: militarized landscapes, weapons testing, and the environmental impact of U.S. bases / 试验场:军事

      ¥923券后¥1,0030人已购买
      优惠券¥80 领券购买 
    • 预订 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial

      MechanicalGeometryMechanizationMathematics

      预订 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial

      ¥931券后¥1,0110人已购买
      优惠券¥80 领券购买 
    • 预订 Worker Injury Third Party Cases: Recognizing and Proving Liability 第三方工伤案例:责任的认定与证明: 9781598889086

      工伤9781598889086Recognizing第三方

      预订 Worker Injury Third Party Cases: Recognizing and Proving Liability 第三方工伤案例:责任的认定与证明: 9781598889086

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