大约有20,000项符合查询结果项。（搜索耗时：0.0102秒）
为您推荐： 人性的证明 特惠 挑战思维极限 勾股定理的365种证明 数学天书中的证明 title数学写真集 第2季无需语言的证明 证明的故事 从勾股定理到现代数学 完美的证明
-
-
能力是证明出来的 组织用人的8种理由
张建华编著2010 年出版200 页ISBN：9787200080698本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
-
正奇数为素数的判断方程 哥德巴赫猜想的证明
乔鸿彬，乔应旭著2010 年出版106 页ISBN：9787502452810本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...
-
邦丁先生的不在场证明
（英）奥斯汀·弗里曼著2010 年出版260 页ISBN：9787501446025《邦丁先生的不在场证明》是英国著名侦探小说大家奥斯汀·弗里曼7个经典推理短篇的结集。包括：1.首饰盒的秘密；2.邦丁先生的不在场证明；3.都市里的巨象；4.废墟中的启示；5.绿上衣；6.伯纳比夫妇；7.神秘的访客等篇目...
-
人性的弱点 人性的优点
（美）戴尔·卡耐基著；吕云龙编译2010 年出版263 页ISBN：9787505417427本书分为两部分内容，上篇“人性的弱点”利用大量普通人不断努力取得成功的故事，激励人们取得辉煌的成功。下篇“人性的优点”则主要阐述在工作、生活中如何克服焦虑情绪。全书列举大量事例，增强了图书的指导性...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
人性的弱点人性的优点大全集 超值白金版
（美）戴尔·卡耐基著2010 年出版427 页ISBN：9787511302861本书是记录成千上万人如何走向成功的实例汇集。《人性的弱点》是世界上最伟大的成功学家卡耐基的思想精华，以对人性的的深刻洞见，利用大量普通人不断取得成功的故事激励人们取得辉煌的成功。...
-
书证收集与程序保障 以当事人证明权的实现为中心
张友好著2010 年出版389 页ISBN：9787510202537本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势，探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度，重点对我国书证收集的现状作了实证分析，并就在我国当前的证据交换制度下...