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

经典好书《万有理论:宇宙的起源与归宿》读书内容简介:所作的由七次演进组成的系列讲座，他介绍了我们所知的宇宙历史，也许比以往更清晰、更简洁。这些演讲不令闪耀着霍金智慧的光华，而且体现出他特有的机智。谈到花费了他十几年时间的黑洞研究时，他说道：“这似乎有点像在煤窖里寻找黑猫。”　　本书从人类...详情

经典好书《认知疗法：进阶与挑战（万千心理）》读书内容简介:取得进展时，治疗师应该怎么做呢？《认知疗法：基础与应用》的作者JudithS.Beck博士将在这本开创性著作中分享宝贵的实践经验，指引治疗师在遇到挑战时，正确看待治疗进程中的阻碍；巧妙灵活地运用治疗技术，让难题迎刃而解。本书对于临床上会...详情

经典好书《西方现代景观设计的理论与实践》读书内容简介:国的景观行业正处于一个转型的时期，经济的繁荣和环境意识的提高使景观行业获得了前所未有的迅速发展，景观的内容和形式也在发生巨大的变化。我国现在的状况，与西方国家几十年前的情况有惊人相似的地方，景观行业也是如此。在我国景观设计从传统走向现代的过程中，西方...详情

经典好书《用TCP/IP进行网际互联 第一卷：原理、协议与结构（第四版）》读书内容简介:前美国大多数大学里所开设的计算机网络课程的主要参考书。目前国内外能见到的各种有关TCP/IP的书籍，其主要内容均出自本书。本书的特点是：强调原理、概念准确、深入浅出、内容丰富新颖。全书共分为三卷。第一卷从TCP/IP基本概念讲起，讨论了主要协议和结构...详情

经典好书《理性化与官僚化》读书内容简介:丰沛的资源，近来在欧美、日本及国内均引起了广泛的兴趣。十余年来德国学者尤其用力于韦伯研究，新观点与新诠释层出不穷，施路赫特正是这股韦伯研究热潮中的代表人物。他关于韦伯的许多著作，早已具有经典地位，被译成数国文字出版。施路赫特现执教于德国海德堡大学，除...详情

经典好书《理智与情感》读书内容简介:年12月16日—1817年7月18日），奥斯丁小传：奥斯丁，1775年12月16日生于斯蒂文顿乡一教区牧师家庭。受到较好的家庭教育，主要教材就是父亲的文学藏书。奥斯丁一家爱读流行小说，多半是庸俗的消遣品。她少女时期的习作就是对这类流行小说的滑稽模仿，...详情

经典好书《心理测验与评估（第8版，英文版）》读书内容简介:《心理测验与评估》（Psychological Testing and Assessment）是美国高校使用率最高的心理测验类教材，出版20余年来备受好评。本书影印自该教材的最新第8版。- 书中生动详实地介绍了心理测验、评估...详情

经典好书《高级英汉翻译理论与实践（第四版）》读书内容简介: 作者简介详情

经典好书《股权估值：原理、方法与案例（原书第3版）》读书内容简介:A， CFA协会教育分部课程项目主管。在2002年加入CFA协会之前，他为公司、基金和合伙企业提供投资计划、资产组合分析、估值和定量分析等咨询服务。平托博士还在纽约的投资业和银行业工作，并在纽约大学的斯特恩商学院教授金融学。他持有巴鲁克学院的MBA学...详情