• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proving” 共163个商品
      • 默认
      • 销量
      • 价格
    • hot selling bread proofing basket banneton proving handmade

      proofingbannetonhandmadeselling

      hot selling bread proofing basket banneton proving handmade

      ¥31.8券后¥36.89人已购买
      优惠券¥5 领券购买 
    • Linen Fermented Cloth Dough Bakers Pans Proving Bread Baguet

      FermentedProvingBakersBaguet

      Linen Fermented Cloth Dough Bakers Pans Proving Bread Baguet

      ¥22.9券后¥28.90人已购买
      优惠券¥6 领券购买 
    • 25cm 10 inch Oval Bread Proofing Basket Sourdough Proving Li

      SourdoughProofingProvingBasket

      25cm 10 inch Oval Bread Proofing Basket Sourdough Proving Li

      ¥67.9券后¥74.90人已购买
      优惠券¥7 领券购买 
    • 海外直订Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 混合系统的逻辑分析:复杂动力学的

      动力学混合TheoremsAnalysis

      海外直订Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 混合系统的逻辑分析:复杂动力学的

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 按需印刷图书The Art of Proving Binomial Identities[9780815379423]

      9780815379423IdentitiesBinomial印刷

      按需印刷图书The Art of Proving Binomial Identities[9780815379423]

      ¥1,477券后¥1,5770人已购买
      优惠券¥100 领券购买 
    • 海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势

      定理VerificationAutomatedHardware

      海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Advances in Mathematics Education Research on Proof and Proving: An Internationa 国际视野下的证明与证明数学

      证明InternationaMathematicsEducation

      海外直订Advances in Mathematics Education Research on Proof and Proving: An Internationa 国际视野下的证明与证明数学

      ¥1,510券后¥1,5500人已购买
      优惠券¥40 领券购买 
    • 海外直订Geometric Inequalities: Methods of Proving 几何不等式:证明方法

      不等式Inequalities几何Geometric

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

      ¥505券后¥5150人已购买
      优惠券¥10 领券购买 
    • 按需印刷Probabilistic Analysis using Theorem Proving[9783639094725]

      9783639094725ProbabilisticAnalysis印刷

      按需印刷Probabilistic Analysis using Theorem Proving[9783639094725]

      ¥968券后¥1,0680人已购买
      优惠券¥100 领券购买 
    • 【按需印刷】Proving Bribery, Fraud and Money Laundering in I

      Laundering印刷ProvingBribery

      【按需印刷】Proving Bribery, Fraud and Money Laundering in I

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

      定理交互式InternationalInteractive

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

      ¥609券后¥6390人已购买
      优惠券¥30 领券购买 
    • 海外直订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: 14th International Conference, Tphols 20 高阶逻辑中的定理证明:第14

      高阶定理InternationalConference

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

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订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: 5th International Conference, Itp 2014, Held as Par 交互式定理证明:第五届国际

      定理交互式第五届International

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

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

      定理交互式International第四届

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

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

      定理交互式Interactive证明

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

      ¥524券后¥5340人已购买
      优惠券¥10 领券购买 
    • 海外直订医药图书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 领券购买 
    • 海外直订Mechanical Geometry Theorem Proving 力学几何定理的证明

      定理力学几何Mechanical

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

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

      9783836457699InteractiveEngineeringSoftware

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

      ¥730券后¥7700人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 海外直订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 交互式定理证明

      定理交互式Interactive证明

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

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

      定理GeneratingTemplatesAutomated

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

      ¥625券后¥6550人已购买
      优惠券¥30 领券购买 
    • 按需印刷Proving Election Fraud[9781449085278]

      9781449085278Election印刷Proving

      按需印刷Proving Election Fraud[9781449085278]

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

      定理力学几何Mechanical

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

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 海外直订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 领券购买 
    • 海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年

      定理InternationalAnalyticTableaux

      海外直订Theorem Proving with Analytic Tableaux and Related Methods: 5th International Wo 用分析表法证明定理:1996年

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订Theorem Proving with the Real Numbers 用实数证明定理

      实数定理证明Theorem

      海外直订Theorem Proving with the Real Numbers 用实数证明定理

      ¥1,153券后¥1,1930人已购买
      优惠券¥40 领券购买 
    • 海外直订Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20 高阶逻辑中的定理证明:第20

      高阶定理InternationalConference

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

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

      高阶定理InternationalConference

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

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

      恒等式二项式IdentitiesBinomial

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

      ¥636券后¥6660人已购买
      优惠券¥30 领券购买 
    上一页 1  2   3   4   5  下一页