经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《广雅疏证》读书内容简介:作。实际上，《广雅疏证》乃是王念孙借《广雅》一书以畅述其音韵、文字、训诂之学识的集大成之作，更是清代语言学史上成就较高的小学要籍。《广雅疏证》之篇章次序一仍《广雅》，对其训释，逐条加以疏证，内容主要有“补正《广雅》文字”、“辨证张揖误采”、“纠正先儒...详情

经典好书《你可以不生气》读书内容简介:重要著作。在书中，一行禅师提醒我们，把生气当做自己的孩子，好好地拥抱、照顾，受伤的孩子很快就可以康复。《你可以不生气》以许多实际的例子，告诉我们如何学习谛听、深观，并透过正念转化我们的习气，把内心积蓄的负面能量转化成正面能量，将生气的怒火转化成慈悲的...详情

经典好书《刘以鬯小说自选集》读书内容简介:期具有代表性的中、短篇和微型小说23篇。这些小说各以不同的表现形式，体现出作者基于传统但又充满创造性的叙事谋略和形式探索。以作者之分类，既有诗体小说、政论小说，也有无故事或无人物的小说，还有意识流及其他小说，充分体现了作者在叙事艺术上的多种实验。《刘...详情

经典好书《证券组合定量管理》读书内容简介:策略》内容简介：证券市场的深刻理解与专业的定量管理技术相结合，从基本原理到技术规范，涵盖各种证券组合定量策略与管理方法。这是一本必备理论指南，阐释了对证券市场的深刻理解，讲述构建和管理一个高收益证券组合的全过程。这是一本实用性很强的工作手册，既可以服...详情

经典好书《以色列游说集团与美国对外政策》读书内容简介:的引人注目的程度进行了描述，并且认为这种支持不能够完全以战略或道德理由来加以解释。一个由个人和组织所构成的松散联盟积极活动，塑造了美以之间的特别关系，从而使美国的外交政策朝亲以色列的方向倾斜。作者简介约翰·米尔斯海默是芝加...详情

经典好书《华尔街顶级证券分析师的忏悔》读书内容简介:不在的内幕信息泄漏和最隐秘的内幕交易。关于二战以来全球最大的公司欺诈案——世通公司案件的最详尽、最具权威的描述与分析　　关于有史以来最大的白领犯罪之王伯尼·埃伯斯和金口水分析师杰克·格鲁布曼　　关于那次历史性的“股市泡沫”...详情

经典好书《以土地的名义》读书内容简介:介：俞孔坚，哈佛大学设计学博士。1997年回国创办北京大学景观设计学研究院；次年创办北京土人景观与建筑规划设计研究院。他将城市和景观规划作为“生存的艺术”，提出“天、地、人、神”和谐的设计理念，与“反规划”的理论和方法。其主持的规划设计作品以鲜明的现...详情

经典好书《日本幕末以來之漢學家及其著述》读书内容简介:之訓詁，嚴謹於錯簡訛脫之糾繆。然轉益更精，或為大和之民族性。其於外來文明之吸收如此，學術研究成果之因襲亦復如此。既東瀛漢學家除精詳考校解詁之外，更專注於考證法則之建立。所謂考證法則，蓋指先從形式入手，即以文章結構之分析，重新整理既成定本之篇卷分合；再...详情

经典好书《古本敦煌乡土志八种笺证》读书内容简介:州图经卷第一；二：沙州都督府图经卷第三；三：沙州图经卷第五；四：沙州志；五：沙州伊州志；六：沙州归义军图经略抄；七：敦煌录；八：寿昌县地境。最后列有“地名索引”，方便读者检索。作者在前人工作的基础上，并融入自己多年潜心研究瓜沙史地的大量成果，对其作了...详情