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

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

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

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

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

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

经典好书《你一定爱读的极简金融史》读书内容简介:证券保险、衍生品、金融中心、金融巨头、金融危机这八条线路，带领读者从远古到现代，完成了八次金融史的阅读旅程。也可以说，这本书从不同的角度把金融史述说了八遍。从而揭开金融学的神秘面纱。用浅显易懂的语言讲述有趣的故事，让人身临其境地感受金融学的魅力。</...详情

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

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

经典好书《遇上是劫数爱上是注定（全2册）》读书内容简介:：为了报复抛弃她们母女的父亲、为了教训同父异母的“妹妹”，为了自己赖以生存的一块地，所以她民甘情愿地陪他演这出戏，她以他最爱的温柔面目，在他面前巧笑倩兮，做一个善解人意的女孩，做一个他以为的福星。她用尽心计，制造各种机会，吸引他的注意——只为能将他勾...详情