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

全部>“Proving” 共328个商品

预售 Shakespeare Proving

【预售】Proving Shakespeare

￥507 券后￥547 0人已购买
优惠券￥ 40  领券购买 
预售 International Interactive Theorem

【预售】Interactive Theorem Proving: Third International

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Theorem Proving Higher

【预售】Theorem Proving in Higher Order Logics: 18th

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Reading Writing Proving

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

￥857 券后￥921 0人已购买
优惠券￥ 64  领券购买 
预售 Efficiency Strategies Theorem

【预售】The Efficiency of Theorem Proving Strategies: A

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Shakespeare Proving

【预售】Proving Shakespeare

￥281 券后￥315 0人已购买
优惠券￥ 34  领券购买 
预售 Theorem Proving Higher

【预售】Theorem Proving in Higher Order Logics: 10th

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Analysis Programs Towards

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

￥1,745 券后￥1,825 0人已购买
优惠券￥ 80  领券购买 
预售 International Interactive Theorem

【预售】Interactive Theorem Proving: Second International

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预订 Proving Bribery Fraud

【预订】Proving Bribery, Fraud and Money Lau...

￥1,259 券后￥1,339 0人已购买
优惠券￥ 80  领券购买 
预售 Mechanical Geometry Theorem

【预售】Mechanical Geometry Theorem Proving

￥1,137 券后￥1,217 0人已购买
优惠券￥ 80  领券购买 
预售 Analysis Theorems Logical

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

￥1,137 券后￥1,217 0人已购买
优惠券￥ 80  领券购买 
预售 International Interactive Theorem

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

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Reading Writing Proving

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

￥681 券后￥729 0人已购买
优惠券￥ 48  领券购买 
预售 Zambinos Proving Blue

【预售】The Proving: The Zambinos of Blue Hill

￥145 券后￥153 0人已购买
优惠券￥ 8  领券购买 
预售 Theorem Proving Higher

【预售】Theorem Proving in Higher Order Logics: 22nd

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
Interactive 预订 Theorem Proving

【预订】Interactive Theorem Proving

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Interactive Theorem Proving

【预售】Interactive Theorem Proving

￥1,014 券后￥1,094 0人已购买
优惠券￥ 80  领券购买 
Techniques 预订 Methods Proving

【预订】Methods and Techniques for Proving I...

￥491 券后￥531 0人已购买
优惠券￥ 40  领券购买 
Interactive 预订 Theorem Proving

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

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
Techniques 预订 Methods Proving

【预订】Methods and Techniques for Proving I...

￥181 券后￥189 0人已购买
优惠券￥ 8  领券购买 
预售 Theorem Proving Higher

【预售】Theorem Proving in Higher Order Logics

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预售 Applications Probability Formalized

【预售】Formalized Probability Theory and Applications Using Theorem Proving

￥1,589 券后￥1,669 0人已购买
优惠券￥ 80  领券购买 
预售 Identities Binomial Proving

【预售】The Art of Proving Binomial Identities

￥1,171 券后￥1,251 0人已购买
优惠券￥ 80  领券购买 
医药图书高阶定理 International

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
Interactive 预订 Theorem Proving

【预订】Interactive Theorem Proving

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
Mathematics Education 预订 Advances

【预订】Advances in Mathematics Education Research on Proof and Proving

￥1,745 券后￥1,825 0人已购买
优惠券￥ 80  领券购买 
9780815379423 Identities Binomial 印刷

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

￥1,477 券后￥1,577 0人已购买
优惠券￥ 100  领券购买 
预售 Engineering Automated Software

【预售】Automated Theorem Proving in Software Engineering

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
定理 Verification Automated Hardware

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

￥1,153 券后￥1,193 0人已购买
优惠券￥ 40  领券购买 
预售 Proving Trail

【预售】The Proving Trail

￥57.2 券后￥65 0人已购买
优惠券￥ 7.8  领券购买 
证明 Internationa Mathematics Education

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

￥1,594 券后￥1,654 0人已购买
优惠券￥ 60  领券购买 
Mathematics Elementary Classroom 预订

【预订】Proving in the Elementary Mathematics Classroom

￥520 券后￥560 0人已购买
优惠券￥ 40  领券购买 
预订 Jennings Proving Mr

【预订】Proving Mr Jennings

￥134 券后￥142 0人已购买
优惠券￥ 8  领券购买 
动力学混合 Theorems Analysis

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

￥993 券后￥1,033 0人已购买
优惠券￥ 40  领券购买 
International Mathematics Perspective Education

【预订】Advances in Mathematics Education Research on Proof and Proving: An International Perspective

￥1,745 券后￥1,825 0人已购买
优惠券￥ 80  领券购买 
预订 Theorem Proving Higher

【预订】Theorem Proving in Higher Order Logics

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
预订 Theorem Proving Higher

【预订】Theorem Proving in Higher Order Logics

￥560 券后￥608 0人已购买
优惠券￥ 48  领券购买 
不等式 Inequalities 几何 Geometric

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

￥505 券后￥515 0人已购买
优惠券￥ 10  领券购买 
9783639094725 Probabilistic Analysis 印刷

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

￥968 券后￥1,068 0人已购买
优惠券￥ 100  领券购买 

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

扫描二维码打开

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

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

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

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

最新资讯：

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

×
◆
0

◆

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

◆
返回顶部
◆