Proving什么牌子好,Proving哪里有卖? - 第3页 - 淘折扣

全部>“Proving” 共331个商品

9783030784089 Interactive 预订 Analysis

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

￥670 券后￥790 0人已购买
优惠券￥ 120  领券购买 
预售 Identities Binomial 印刷

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

￥832 ￥832 0人已购买

限时优惠
立即购买 
恒等式二项式 Identities Binomial

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

￥945 券后￥995 0人已购买
优惠券￥ 50  领券购买 
高阶定理 International Conference

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

￥499 券后￥549 0人已购买
优惠券￥ 50  领券购买 
高阶定理 International Conference

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
定理交互式 Interactive 证明

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

￥847 券后￥897 0人已购买
优惠券￥ 50  领券购买 
定理交互式 International 第四届

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

￥499 券后￥549 0人已购买
优惠券￥ 50  领券购买 
9783836457699 Interactive Engineering Software

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

￥730 券后￥770 0人已购买
优惠券￥ 40  领券购买 
9781108417846 International Arbitration Laundering

预订 Proving Bribery, Fraud and Money Laundering in International Arbitration: On Applicable Criminal... [9781108417846]

￥1,132 券后￥1,252 0人已购买
优惠券￥ 120  领券购买 
高阶定理 International Conference

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
试验场 Proving 海外 Ground

海外直订The Proving Ground 试验场

￥98 券后￥103 0人已购买
优惠券￥ 5  领券购买 
Innovation Value 9781119242376 Knowing

【3-4周达】The Value Of Innovation: Knowing, Proving, And Showing The Value Of Innovation And Creativ... [9781119242376]

￥808 券后￥898 0人已购买
优惠券￥ 90  领券购买 
9781612181431 Proving Ground Inside

【2-3周达】The Proving Ground: The Inside Story of the 1998 Sydney to Hobart [9781612181431]

￥146 券后￥156 0人已购买
优惠券￥ 10  领券购买 
9781484261521 Prototyping Thinking Software

【4周达】Design Thinking in Software and AI Projects : Proving Ideas Through Rapid Prototyping [9781484261521]

￥453 券后￥493 0人已购买
优惠券￥ 40  领券购买 
9781461429159 Mathematics Reading Writing

【4周达】Reading, Writing, and Proving : A Closer Look at Mathematics [9781461429159]

￥628 券后￥698 0人已购买
优惠券￥ 70  领券购买 
9783528155742 Comparative Efficiency Strategies

【4周达】The Efficiency of Theorem Proving Strategies : A Comparative and Asymptotic Analysis [9783528155742]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9780954387341 Shakespeare Proving 周达】

【4周达】Proving Shakespeare [9780954387341]

￥347 券后￥377 0人已购买
优惠券￥ 30  领券购买 
9783319089690 International Interactive Conference

【4周达】Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vie... [9783319089690]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783540425250 International Conference Theorem

【3-4周达】Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinb... [9783540425250]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9781461281955 Verification Automated Hardware

【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]

￥988 券后￥1,098 0人已购买
优惠券￥ 110  领券购买 
Verification Requirements Satisfies Solution

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

￥1,352 券后￥1,452 0人已购买
优惠券￥ 100  领券购买 
9783642396335 International Interactive Conference

【3-4周达】Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July... [9783642396335]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540633792 International Conference Theorem

【3-4周达】Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray ... [9783540633792]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783319948201 International Interactive Conference

【4周达】Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Fed... [9783319948201]

￥922 券后￥1,022 0人已购买
优惠券￥ 100  领券购买 
9781970052220 Proving 周达】

【2-3周达】Proving [9781970052220]

￥389 券后￥429 0人已购买
优惠券￥ 40  领券购买 
9783642444746 Theorems Analysis Dynamics

【4周达】Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics [9783642444746]

￥988 券后￥1,098 0人已购买
优惠券￥ 110  领券购买 
9783319431437 International Interactive Conference

【4周达】Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August ... [9783319431437]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540710653 International Conference Theorem

【4周达】Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montrea... [9783540710653]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540283720 International Conference Theorem

【4周达】Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford,... [9783540283720]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
定理 Mechanical 符号 Symbolic

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

￥913 券后￥963 0人已购买
优惠券￥ 50  领券购买 
International 9783319661063 Interactive Conference

【4周达】Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, Sep... [9783319661063]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783319550794 Inequalities Geometric Methods

【3-4周达】Geometric Inequalities: Methods of Proving [9783319550794]

￥766 券后￥846 0人已购买
优惠券￥ 80  领券购买 
9783642033582 International Conference Theorem

【4周达】Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, ... [9783642033582]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9789814759113 Discovering Inequality Automated

【3-4周达】Automated Inequality Proving and Discovering [9789814759113]

￥1,319 券后￥1,459 0人已购买
优惠券￥ 140  领券购买 
9789812709424 Classical Selected Geometry

【3-4周达】Selected Topics in Geometry with Classical vs. Computer Proving [9789812709424]

￥1,073 券后￥1,193 0人已购买
优惠券￥ 120  领券购买 
9783319855615 Inequalities Geometric Methods

【2-3周达】Geometric Inequalities : Methods of Proving [9783319855615]

￥374 券后￥414 0人已购买
优惠券￥ 40  领券购买 
9783642323461 International Interactive Conference

【4周达】Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, ... [9783642323461]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783642145087 Theorems Analysis Dynamics

【3-4周达】Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics [9783642145087]

￥1,028 券后￥1,138 0人已购买
优惠券￥ 110  领券购买 
蓝山比诺 Zambinos 证明

海外直订The Proving: The Zambinos of Blue Hill 证明：蓝山的赞比诺

￥188 券后￥193 0人已购买
优惠券￥ 5  领券购买 
9780557012619 Shakespeare 预订 Proving

预订 Proving Shakespeare [9780557012619]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 

上一页 1 2 3 4 5 ... 9 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

最新资讯：

淘折扣滇ICP备2023000592号-3　　滇公网安备53230102000530号统一社会信用代码：91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved

×
◆
0

◆

意见反馈
◆
扫描下载二维码

◆
返回顶部
◆