proving
|
【3-4周达】Sorry Spock, Emotions Drive Business : Proving the Value of Creative Ideas With Science [9781642790719]
【3-4周达】Proving the Value of Soft Skills : Measuring Impact and Calculating ROI [9781950496631]
【3-4周达】Proving Safety: wicked problems, legal risk management and the tyranny of metrics [9798893421439]
【3-4周达】Smaller Faster Lighter Denser Cheaper: How Innovation Keeps Proving the Catastrophists Wrong [9781610395472]
【3-4周达】Proving Darwin: Making Biology Mathematical [9781400077984]
[预订]The Art of Proving Binomial Identities 9781032475585
【3-4周达】Smaller Faster Lighter Denser Cheaper (Intl Ed): How Innovation Keeps Proving the Catastro... [9781610395250]
【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]
预订 精装 As the World Turns: The History of Proving the Earth Rotates [9781786348173]
【3-4周达】精装 Proving Patriotismo : Latino Military Recruitment, Service, and Belonging in the US [9781793638472]
预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明：艾美奖诺瑟的数学生涯: 9783030628109
【3-4周达】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to New... [9781447110415]
【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]
【3-4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]
【2-3周达】Intermediaries in the Criminal Justice System – Im proving Communication for Vulnerable W... [9781447326069]
【3-4周达】精装 Proving Einstein Right: The Daring Expeditions That Changed How We Look at the Universe [9781541762251]
【3-4周达】Theorem Proving with the Real Numbers [9781447115939]
【3-4周达】Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, ... [9783540406648]
【3-4周达】Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portla... [9783540678632]
【3-4周达】精装 Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow V... [9781848000162]
【3-4周达】Advances in Mathematics Education Research on Proof and Proving : An International Perspec... [9783319890258]
【3-4周达】Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (1st ed. 2022) [9783030784089]
【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valle... [9783540584506]
【3-4周达】精装 Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Induct... [9783540208549]
【3-4周达】Proving Pregnancy – Gender, Law, and Medical Knowledge in Nineteenth–Century America [9781469669700]
【3-4周达】Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July ... [9783642140518]
【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen... [9783540602750]
【3-4周达】Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park ... [9783540230175]
【3-4周达】Automated Theorem Proving (Second Edition 1987) [9783528185206]
【3-4周达】Automated Theorem Proving in Software Engineering [9783642087592] |
![【3-4周达】Sorry Spock, Emotions Drive Business : Proving the Value of Creative Ideas With Science [9781642790719]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01fB3m5L28LaOrVaCZj_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Sorry Spock, Emotions Drive Business : Proving the Value of Creative Ideas With Science [9781642790719]")
![【3-4周达】Proving the Value of Soft Skills : Measuring Impact and Calculating ROI [9781950496631]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01eeSJII28LaOvLKcku_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Proving the Value of Soft Skills : Measuring Impact and Calculating ROI [9781950496631]")
![【3-4周达】Proving Safety: wicked problems, legal risk management and the tyranny of metrics [9798893421439]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01reeMVR28LaP51B54N_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Proving Safety: wicked problems, legal risk management and the tyranny of metrics [9798893421439]")
![【3-4周达】Smaller Faster Lighter Denser Cheaper: How Innovation Keeps Proving the Catastrophists Wrong [9781610395472]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01q1dM0i28LaOrSMF9s_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Smaller Faster Lighter Denser Cheaper: How Innovation Keeps Proving the Catastrophists Wrong [9781610395472]")
![【3-4周达】Proving Darwin: Making Biology Mathematical [9781400077984]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01qJqYAV28LaNfLsrlY_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Proving Darwin: Making Biology Mathematical [9781400077984]")
![[预订]The Art of Proving Binomial Identities 9781032475585](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN011ZH3WP1ym0sMtbMH5_!!0-item_pic.jpg "[预订]The Art of Proving Binomial Identities 9781032475585")
![【3-4周达】Smaller Faster Lighter Denser Cheaper (Intl Ed): How Innovation Keeps Proving the Catastro... [9781610395250]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01GlmrXj28LaOrS1tzf_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Smaller Faster Lighter Denser Cheaper (Intl Ed): How Innovation Keeps Proving the Catastro... [9781610395250]")
![【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01pFHdwA28LaOqn2upT_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Formalized Probability Theory and Applications Using Theorem Proving [9781466683150]")
![预订 精装 As the World Turns: The History of Proving the Earth Rotates [9781786348173]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01mRvvbZ28LaOtRtrfE_!!4611686018427384108-0-item_pic.jpg "预订 精装 As the World Turns: The History of Proving the Earth Rotates [9781786348173]")
![【3-4周达】精装 Proving Patriotismo : Latino Military Recruitment, Service, and Belonging in the US [9781793638472]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01UDgS3t28LaOsJMB5t_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Proving Patriotismo : Latino Military Recruitment, Service, and Belonging in the US [9781793638472]")
![【3-4周达】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to New... [9781447110415]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01X5uk5228LaOsSSZDO_!!4611686018427384108-0-item_pic.jpg "【3-4周达】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to New... [9781447110415]")
![【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01BtrNx3qITCF1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]")
![【3-4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01cMPnCh28LaP0qz2BV_!!4611686018427384108-0-item_pic.jpg "【3-4周达】From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions [9783540182177]")
![【2-3周达】Intermediaries in the Criminal Justice System – Im proving Communication for Vulnerable W... [9781447326069]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01REnuLZ28LaOrW7Exj_!!4611686018427384108-0-item_pic.jpg "【2-3周达】Intermediaries in the Criminal Justice System – Im proving Communication for Vulnerable W... [9781447326069]")
![【3-4周达】精装 Proving Einstein Right: The Daring Expeditions That Changed How We Look at the Universe [9781541762251]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01ilBK6f28LaOrHPio8_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Proving Einstein Right: The Daring Expeditions That Changed How We Look at the Universe [9781541762251]")
![【3-4周达】Theorem Proving with the Real Numbers [9781447115939]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01w8JRuc28LaOr2VOg0_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving with the Real Numbers [9781447115939]")
![【3-4周达】Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, ... [9783540406648]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01LWw9NV28LaP0vXVll_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, ... [9783540406648]")
![【3-4周达】Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portla... [9783540678632]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01WD913628LaP18CfIA_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portla... [9783540678632]")
![【3-4周达】精装 Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow V... [9781848000162]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01LHPUsO28LaOspGVmU_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow V... [9781848000162]")
![【3-4周达】Advances in Mathematics Education Research on Proof and Proving : An International Perspec... [9783319890258]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01aAjV2s28LaOw8qNvo_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Advances in Mathematics Education Research on Proof and Proving : An International Perspec... [9783319890258]")
![【3-4周达】Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (1st ed. 2022) [9783030784089]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01UVtauU28LaOw5coxu_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (1st ed. 2022) [9783030784089]")
![【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valle... [9783540584506]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01Ne48wT28LaP0cEVji_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valle... [9783540584506]")
![【3-4周达】精装 Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Induct... [9783540208549]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01M4FrZ228LaOwH7AYf_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Induct... [9783540208549]")
![【3-4周达】Proving Pregnancy – Gender, Law, and Medical Knowledge in Nineteenth–Century America [9781469669700]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN011TNcR528LaOmNg4bW_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Proving Pregnancy – Gender, Law, and Medical Knowledge in Nineteenth–Century America [9781469669700]")
![【3-4周达】Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July ... [9783642140518]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01ya6r3K28LaP0jC1yn_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July ... [9783642140518]")
![【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen... [9783540602750]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01D0fflx28LaP1PVJfO_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen... [9783540602750]")
![【3-4周达】Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park ... [9783540230175]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01fe51kH28LaOwHpY6Y_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park ... [9783540230175]")
![【3-4周达】Automated Theorem Proving (Second Edition 1987) [9783528185206]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01Sro5ox28LaOu11G6L_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Automated Theorem Proving (Second Edition 1987) [9783528185206]")
![【3-4周达】Automated Theorem Proving in Software Engineering [9783642087592]](http://tupian.y866.cn/picture/pic12370832/tu9/O1CN01wgAowM28LaOzU6r5R_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Automated Theorem Proving in Software Engineering [9783642087592]")