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

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

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

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

经典好书《秦岭碑刻的田野调查与价值研究》读书内容简介: 《秦岭碑刻的田野调查与价值研究》既可展示秦岭文化构成的面貌，又可为秦岭文化深度开发提供直接依据，特别是对于摸清秦岭文化资源，展示中华优秀传统文化，弥补学术研究空白，都有着较为重要的作用。作者简介详情

经典好书《中国大学评价报告》读书内容简介: 《中国大学评价报告》从九个角度全面、系统地评价了国内887所大学的综合竞争力、11个学科门类和192个专业的实力和水平，其信息量大、内容丰富、资料翔实、评价准确、权威性强、适用面广，可供政府管理部门、高等院校相关人员，广大考生及家长和社会各界人士参考使用。作者简介详情

经典好书《世界一流大学及学科竞争力评价研究报告》读书内容简介: 《世界一流大学及学科竞争力评价研究报告》研究角度新颖、方法科学、数据权威、内容丰富、结论可靠。可供广大拟出国留学的学子，国内外各高等学校、科研院所，政府管理部门及社会各界人士阅读和参考使用。作者简介详情

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

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

经典好书《Cassandra权威指南》读书内容简介:。与传统的关系型数据库不同，Cassandra 是一种开源的分布式存储系统。书中介绍了它无中心架构、高可用、无缝扩展等引人注目的特点，讲述了如何安装、配置Cassandra 及如何在其上运行实例，还介绍了对它的监控、维护和性能调优手段，同时还涉及了C...详情