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

全部>“theorem” 共783个商品

9783528185206 Automated Theorem Proving

【3-4周达】Automated Theorem Proving [9783528185206]

￥989 券后￥1,099 0人已购买
优惠券￥ 110  领券购买 
9783540111986 Carleson Theorem Fourier

【3-4周达】The Carleson-Hunt Theorem on Fourier Series [9783540111986]

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 
9781612337241 Entanglement Illuminating Disproof

【2-3周达】Disproof of Bell's Theorem: Illuminating the Illusion of Entanglement, Second Edition [9781612337241]

￥506 券后￥556 0人已购买
优惠券￥ 50  领券购买 
9783540593386 International Analytic Tableaux

【3-4周达】Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Ta... [9783540593386]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9781461275152 Automated Theorem Proving

【3-4周达】First-Order Logic and Automated Theorem Proving [9781461275152]

￥855 券后￥945 0人已购买
优惠券￥ 90  领券购买 
9783039282340 Noether's Symmetry Theorem

【2-3周达】Noether's Theorem and Symmetry [9783039282340]

￥535 券后￥595 0人已购买
优惠券￥ 60  领券购买 
9783658004941 Bourdieuschen Theoretische lerhabitus

【4周达】Schülerhabitus : Theoretische und empirische Analysen zum Bourdieuschen Theorem der kulture... [9783658004941]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783030784089 Interactive Analysis Systems

【3-4周达】Formal Analysis of Future Energy Systems Using Interactive Theorem Proving [9783030784089]

￥611 券后￥671 0人已购买
优惠券￥ 60  领券购买 
International 9783642140518 Interactive Conference

【4周达】Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11... [9783642140518]

￥1,028 券后￥1,138 0人已购买
优惠券￥ 110  领券购买 
International 9783540230175 Conference Theorem

【4周达】Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park Ci... [9783540230175]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783642440342 Applications Mechanics Transfer

【3-4周达】The Pi-Theorem : Applications to Fluid Mechanics and Heat and Mass Transfer [9783642440342]

￥1,520 券后￥1,690 0人已购买
优惠券￥ 170  领券购买 
Generalisations 9783843384797 Contraction 预订

预订 Generalisations of the Contraction Mapping Theorem [9783843384797]

￥607 券后￥667 0人已购买
优惠券￥ 60  领券购买 
demonstration 9781326589714 surprisingly 预订

预订 Fermat's Last Theorem - Finding a new surprisingly simple demonstration? [9781326589714]

￥675 券后￥745 0人已购买
优惠券￥ 70  领券购买 
9783540440390 International Conference Theorem

【4周达】Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton... [9783540440390]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
Representation 9783540097129 Extensions Canonical

【3-4周达】Canonical Gibbs Measures: Some Extensions of de Finetti's Representation Theorem for Inter... [9783540097129]

￥287 券后￥317 0人已购买
优惠券￥ 30  领券购买 
9783540584506 International Applications Workshop

【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valle... [9783540584506]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540171973 Spectral Theorem 周达】

【3-4周达】The Spectral Theorem [9783540171973]

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 
International 9783540578260 Applications Workshop

【4周达】Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93... [9783540578260]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783031013751 Kharitonov's Converters Approach

【3-4周达】Robust Control of DC-DC Converters: The Kharitonov's Theorem Approach with MATLAB (R) Codes [9783031013751]

￥611 券后￥671 0人已购买
优惠券￥ 60  领券购买 
9783540678632 International Conference Theorem

【3-4周达】Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portla... [9783540678632]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
Sophisticated 9783540102311 Resolution Theorem

【3-4周达】Using Sophisticated Models in Resolution Theorem Proving [9783540102311]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783659355752 Voronovskaja 预订 theorem

预订 A new method to apply the Voronovskaja type theorem [9783659355752]

￥847 券后￥937 0人已购买
优惠券￥ 90  领券购买 
International 9783540590477 Experience Practice

【4周达】Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Con... [9783540590477]

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

【3-4周达】Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberr... [9783540649878]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783319033099 Mathematical Conjecture Uniqueness

【3-4周达】Markov's Theorem and 100 Years of the Uniqueness Conjecture : A Mathematical Journey from ... [9783319033099]

￥1,310 券后￥1,450 0人已购买
优惠券￥ 140  领券购买 
9783111089744 Theorem Letzte Fermat

【3-4周达】Das Letzte Fermat-Theorem [9783111089744]

￥1,123 券后￥1,243 0人已购买
优惠券￥ 120  领券购买 
9783642085680 Nevanlinna's Distribution Theorem

【2-3周达】Nevanlinna's Theory of Value Distribution : The Second Main Theorem and its Error Terms [9783642085680]

￥1,078 券后￥1,198 0人已购买
优惠券￥ 120  领券购买 
Logic 9783540182177 Programming Techniques

【3-4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9786202529273 Computers 预订 Margolus

预订 Quantum Computers and Margolus-Levitin Theorem [9786202529273]

￥388 券后￥428 0人已购买
优惠券￥ 40  领券购买 
9783528089689 Lectures Mordell Theorem

【4周达】Lectures on the Mordell-Weil Theorem [9783528089689]

￥679 券后￥749 0人已购买
优惠券￥ 70  领券购买 
Theory 9783540075363 Equivariant operations

【3-4周达】Topics in K-Theory : The Equivariant Künneth Theorem in K-Theory. Dyer-Lashof operations ... [9783540075363]

￥428 券后￥468 0人已购买
优惠券￥ 40  领券购买 
9789048140589 Conceptions Universe Theorem

【4周达】Bell's Theorem, Quantum Theory and Conceptions of the Universe [9789048140589]

￥2,678 券后￥2,968 0人已购买
优惠券￥ 290  领券购买 
9781591027737 Mathematical Babylonian Pythagoras

【3-4周达】The Babylonian Theorem: The Mathematical Journey to Pythagoras and Euclid [9781591027737]

￥282 券后￥312 0人已购买
优惠券￥ 30  领券购买 
9783642058806 Interactive Development Inductive

【3-4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive C... [9783642058806]

￥805 券后￥885 0人已购买
优惠券￥ 80  领券购买 
9789811285752 Pythagorean Relativity Spacetime

【3-4周达】Spacetime Geometry of Relativity: Extending Pythagorean Theorem [9789811285752]

￥1,583 券后￥1,753 0人已购买
优惠券￥ 170  领券购买 
9789811515903 Bousfield Ohkawa's Classes

【3-4周达】Bousfield Classes and Ohkawa's Theorem: Nagoya, Japan, August 28-30, 2015 [9789811515903]

￥1,425 券后￥1,585 0人已购买
优惠券￥ 160  领券购买 
9783642087592 Engineering Automated Software

【3-4周达】Automated Theorem Proving in Software Engineering [9783642087592]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540208549 Interactive Development Inductive

【3-4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive C... [9783540208549]

￥1,135 券后￥1,255 0人已购买
优惠券￥ 120  领券购买 
9783540664635 International Conference Theorem

【3-4周达】Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, F... [9783540664635]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9783540071761 Theorem Lambda 周达】

【3-4周达】The Cos Pi Lambda Theorem [9783540071761]

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 

上一页 1 ... 3 4 5 6 7 ... 20 下一页

扫描二维码打开

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

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

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

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

最新资讯：

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

×
◆
0

◆

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

◆
返回顶部
◆