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

全部>“theorem” 共784个商品

9783030784089 Interactive Analysis Systems

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

￥611 券后￥671 0人已购买
优惠券￥ 60  领券购买 
9786200507655 Application 预订 Economic

预订 Fixed Point Theorem with Application to Economic Theory [9786200507655]

￥808 券后￥898 0人已购买
优惠券￥ 90  领券购买 
9783528085209 Automated Theorem Proving

【4周达】Automated Theorem Proving [9783528085209]

￥537 券后￥597 0人已购买
优惠券￥ 60  领券购买 
9783540612087 International Analytic Tableaux

【4周达】Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABL... [9783540612087]

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

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

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
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  领券购买 
Sophisticated 9783540102311 Resolution Theorem

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Logic 9783540182177 Programming Techniques

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

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9783111089744 Theorem Letzte Fermat

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

￥1,123 券后￥1,243 0人已购买
优惠券￥ 120  领券购买 
9786202529273 Computers 预订 Margolus

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

￥388 券后￥428 0人已购买
优惠券￥ 40  领券购买 
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  领券购买 
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  领券购买 
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  领券购买 
9783528089689 Lectures Mordell Theorem

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

￥679 券后￥749 0人已购买
优惠券￥ 70  领券购买 
9781591027737 Mathematical Babylonian Pythagoras

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

￥282 券后￥312 0人已购买
优惠券￥ 30  领券购买 
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  领券购买 
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  领券购买 
Nontangential 9783031059520 Divergence Geometric

【4周达】Geometric Harmonic Analysis I : A Sharp Divergence Theorem with Nontangential Pointwise Traces [9783031059520]

￥1,693 券后￥1,883 0人已购买
优惠券￥ 190  领券购买 
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  领券购买 
9783642087592 Engineering Automated Software

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9786200095565 interaction potential 预订

预订 Virial theorem and the two molecule interaction potential [9786200095565]

￥356 券后￥396 0人已购买
优惠券￥ 40  领券购买 
9783540664635 International Conference Theorem

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

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

【3-4周达】Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaise... [9783540745907]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9789401178006 Approximation Central Theorem

【4周达】Approximation Theory in the Central Limit Theorem : Exact Results in Banach Spaces [9789401178006]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9780268015787 Philosophical Consequences Reflections

【3-4周达】Philosophical Consequences of Quantum Theory: Reflections on Bell's Theorem [9780268015787]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9783663106340 Lectures Mordell Theorem

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

￥1,205 券后￥1,335 0人已购买
优惠券￥ 130  领券购买 
9783112774809 Hydrodynamik Theorem Wirbel

【4周达】Ein Neues Wirbel-Theorem Der Hydrodynamik [9783112774809]

￥1,308 券后￥1,448 0人已购买
优惠券￥ 140  领券购买 
Quantum Teleportation 9780199589135 Computation

【4周达】The New Quantum Age: From Bell's Theorem to Quantum Computation and Teleportation [9780199589135]

￥609 券后￥669 0人已购买
优惠券￥ 60  领券购买 
9783764357351 Compactness Holomorphic Gromov's

【4周达】Gromov's Compactness Theorem for Pseudo-Holomorphic Curves [9783764357351]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9780121703509 Mechanical Symbolic Theorem

【3-4周达】Symbolic Logic and Mechanical Theorem Proving [9780121703509]

￥658 券后￥728 0人已购买
优惠券￥ 70  领券购买 
9780387950020 Introduction Algebraic Fermat's

【3-4周达】Fermat's Last Theorem : A Genetic Introduction to Algebraic Number Theory [9780387950020]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9786207805389 Different Theorem Spaces

【2-3周达】Fixed Point Theorem in Different Spaces [9786207805389]

￥713 券后￥793 0人已购买
优惠券￥ 80  领券购买 
9781447456971 Mathematical Containing Selection

【2-3周达】Taylor's Theorem - A Selection of Classic Mathematical Articles Containing Examples and Ex... [9781447456971]

￥262 券后￥282 0人已购买
优惠券￥ 20  领券购买 
9783540602750 International Applications Workshop

【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen... [9783540602750]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9780367381516 Divergence Perimeter Theorem

【3-4周达】The Divergence Theorem and Sets of Finite Perimeter [9780367381516]

￥773 券后￥853 0人已购买
优惠券￥ 80  领券购买 
Quantum Teleportation 9780198754763 Computation

【3-4周达】The New Quantum Age: From Bell's Theorem to Quantum Computation and Teleportation [9780198754763]

￥441 券后￥481 0人已购买
优惠券￥ 40  领券购买 
9789811515873 Bousfield Ohkawa's Classes

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

￥1,438 券后￥1,598 0人已购买
优惠券￥ 160  领券购买 

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

扫描二维码打开

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

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

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

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

最新资讯：

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

×
◆
0

◆

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

◆
返回顶部
◆