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

全部>“theorem” 共780个商品

Mountain Pass Generalizations 9781107403338

预订 Mountain Pass Theorem: Variants, Generalizations and Some Applications - The Mountain Pass Theor... [9781107403338]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9783039282340 Noether's Symmetry Theorem

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

￥535 券后￥595 0人已购买
优惠券￥ 60  领券购买 
Learning 9781680838985 Automated Machine

【4周达】Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat [9781680838985]

￥1,078 券后￥1,198 0人已购买
优惠券￥ 120  领券购买 
9783528185206 Automated Theorem Proving

【4周达】Automated Theorem Proving [9783528185206]

￥989 券后￥1,099 0人已购买
优惠券￥ 110  领券购买 
Generalizations 9781925823813 Pythagoras Polygons

【2-3周达】Generalizations of Pythagoras Theorem to Polygons [9781925823813]

￥838 券后￥928 0人已购买
优惠券￥ 90  领券购买 
9781568583600 Mathematical Unlocking Fermat's

【4周达】Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem [9781568583600]

￥246 券后￥266 0人已购买
优惠券￥ 20  领券购买 
9783540095330 Structure Theorem Banach

【4周达】M-Structure and the Banach-Stone Theorem [9783540095330]

￥335 券后￥365 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  领券购买 
9783540119630 Application Processes Manifolds

【4周达】Optimal Processes on Manifolds : An Application of Stoke's Theorem [9783540119630]

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 
9783540582441 Isabelle Generic Theorem

【4周达】Isabelle : A Generic Theorem Prover [9783540582441]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540171973 Spectral Theorem 周达】

【4周达】The Spectral Theorem [9783540171973]

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 
9783540003625 Combinatorics Topological Lectures

【4周达】Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry [9783540003625]

￥679 券后￥749 0人已购买
优惠券￥ 70  领券购买 
9783540111986 Carleson Theorem Fourier

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

￥268 券后￥298 0人已购买
优惠券￥ 30  领券购买 
Generalisations 9783843384797 Contraction 预订

预订 Generalisations of the Contraction Mapping Theorem [9783843384797]

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

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

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

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

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
Generalization 9783030950873 Mollerup's Functions

【2-3周达】A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions [9783030950873]

￥374 券后￥414 0人已购买
优惠券￥ 40  领券购买 
9783031500640 Coloring Critical Theorem

【4周达】Brooks' Theorem : Graph Coloring and Critical Graphs [9783031500640]

￥1,684 券后￥1,864 0人已购买
优惠券￥ 180  领券购买 
9783658004941 Bourdieuschen Theoretische lerhabitus

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

￥534 券后￥594 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  领券购买 
9783642440342 Applications Mechanics Transfer

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

￥1,520 券后￥1,690 0人已购买
优惠券￥ 170  领券购买 
Representation 9783540097129 Extensions Canonical

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

￥287 券后￥317 0人已购买
优惠券￥ 30  领券购买 
9783031013751 Kharitonov's Converters Approach

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

￥611 券后￥671 0人已购买
优惠券￥ 60  领券购买 
9783540584506 International Applications Workshop

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783540578260 Applications Workshop

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Generalization 9783030950903 Mollerup's Functions

【2-3周达】A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions [9783030950903]

￥326 券后￥356 0人已购买
优惠券￥ 30  领券购买 
9783319033099 Mathematical Conjecture Uniqueness

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

￥1,310 券后￥1,450 0人已购买
优惠券￥ 140  领券购买 
9783540612087 International Analytic Tableaux

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
demonstration 9781326589714 surprisingly 预订

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

￥675 券后￥745 0人已购买
优惠券￥ 70  领券购买 
International 9783540590477 Experience Practice

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

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

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

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Logic 9783540182177 Programming Techniques

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

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
International 9783540230175 Conference Theorem

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Sophisticated 9783540102311 Resolution Theorem

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

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783528085209 Automated Theorem Proving

【4周达】Automated Theorem Proving [9783528085209]

￥537 券后￥597 0人已购买
优惠券￥ 60  领券购买 
9783528089689 Lectures Mordell Theorem

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

￥679 券后￥749 0人已购买
优惠券￥ 70  领券购买 
9783540678632 International Conference Portland

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

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783112774809 Hydrodynamik Theorem Wirbel

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

￥1,308 券后￥1,448 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  领券购买 
9786202529273 Computers 预订 Margolus

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

￥388 券后￥428 0人已购买
优惠券￥ 40  领券购买 

上一页 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

◆

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

◆
返回顶部
◆