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

经典好书《旧日的静定》读书内容简介:人历史的意义。一位年轻小说家的时光素描，冷热、亲疏、爱与哀愁。作者简介张怡微。1987年出生。上海青年作家。现执教于复旦大学中文系。出版作品有长篇小说《细民盛宴》、《你所不知道的夜晚》、《梦醒》，中短篇集《樱...详情

经典好书《櫻花樹下的約定》读书内容简介:很特別蝴蝶！文字充滿魔力的超人氣暢銷作家　蝴蝶 浪漫經典重現曾經錯過的你，現在絕對要擁有！「徵家事工程師，供膳宿，需擅長家事管理，略會廚藝……」她，是極具廚藝天分的少女，凡吃過的美食必能在手中重...详情

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

经典好书《約定的夢幻島 17》读书内容简介: 諾曼宣示要澈底消滅鬼，開始朝著女王跟五攝家聚集的王都進軍。為了阻止他的計畫，艾瑪也趕往王都。但是所剩的時間不多了…？永遠不放棄的孩子們，勇敢面對絕望吧！令人震撼的逃獄奇幻劇！作者简介详情

经典好书《7天搞定微积分》读书内容简介:里的微积分那么难懂？不要怕，这本简单、有趣的微积分入门书，帮你7天搞定！我们害怕微积分，是因为有一大堆抽象、难懂的概念、公式。其实，知道这些公式、概念是怎样创造出来的，你就能很容易理解掌握，再也不会再害怕！微积分到底有什么用？微分的结果...详情

经典好书《尘埃落定》读书内容简介: 作者简介阿来，一九五九年生于四川北部阿坝藏区。履历表上列为籍贯的马尔康县俗称“四土”，即四个土司统辖之地。 八十年代中期开始创作。出版过小说集《旧年的血迹》与诗集《梭磨河》。《尘埃落定》是其第一部长篇 小说。详情

经典好书《人類圖：找回你的原廠設定》读书内容简介: 作者简介详情

经典好书《安于不定之中》读书内容简介:编的两个版本的狄金森诗全集。本书最新尝试从空间主题切入，探索狄金森包罗万象的诗歌之屋，展现其诗歌中想象空间的恢弘。艾米莉·狄金森是但丁以来西方诗人中，除了莎士比亚，显示了最多认知原创性的作家。——哈罗德·布鲁姆<p...详情

经典好书《一个人的第一次 第一次一个人旅行》读书内容简介:个人旅行》两本书采用的同一个ISBN书号出版。本页面以《一个人的第一次》的资料为主，请大家在评论时注明。-- 豆瓣团队----------------每个人都有第一次，每天都有第一次。记得你的第一次，写给你的...详情