经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《陆氏三世医验》读书内容简介: 《陆氏三世医验》，本书每论皆以《内经》《难经》《伤寒论》为经旨，成为后人学习应用中医经典著作的楷模。治病能求得其本，既能抓住主要病症，又能舍证从脉，或舍脉从证。随证处方，灵活化裁。寓变于常，颇有特色。如胎逆重用大黄峻下，痢疾用补塞法等。作者简介详情

经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容...详情

经典好书《计算机程序设计艺术・卷2》读书内容简介:领域的杰出之作，深入阐述了程序设计理论，对计算机领域的发展有着极为深远的影响。本卷为系列的第2卷，全面讲解了半数值算法，分“随机数”和“算术”两章。书中总结了主要算法范例及这些算法的基本理论，广泛剖析了计算机程序设计与数值分析间的相互联系。<...详情

经典好书《计算机程序设计艺术：第4卷 第4册（双语版）》读书内容简介:计算机科学的定义性描述。迄今已出版的完整的三卷组成了程序设计理论和实践的惟一的珍贵源泉，无数读者都赞扬Knuth的著作对个人的深远影响。科学家们为他的分析的美丽和优雅所惊叹，而从事实践的程序员们已经成功地应用他的“菜谱式”的解到日常问题上，所有人都由...详情

经典好书《计算机程序设计艺术》读书内容简介:努特，中文名高德纳)是算法和程序设计技术的先驱者，是计算机排版系统TEX和METAFONT的发明者，他因这些成就和大量创造性的影响深远的著作(19部书和160篇论文)而誉满全球。作为斯坦福大学计算机程序设计艺术的荣誉退休教授，他当前正全神贯注于完成其...详情

经典好书《计算机程序设计艺术》读书内容简介:领域经典之作，深入阐述了程序设计理论，对计算机领域的发展有着极为深远的影响。本书是该系列的第 1 卷，讲解基本算法，其中包含了其他各卷都需用到的基本内容。本卷从基本概念开始，然后讲述信息结构，并辅以大量的习题及答案。作者简介<p...详情

经典好书《计算机程序设计艺术：第4卷 第3册（双语版）》读书内容简介:计算机科学的定义性描述。这一册以及刚刚出版的第4卷第2册揭开了人们急切等待的《计算机程序设计艺术第4卷组合算法》的序幕。作为关于组合查找的冗长一章的一部分，这一册开始关于生成所有组合和分划的讨论。在Knuth讨论这两个主题的过程中，读者不仅会看到很多...详情

经典好书《亚洲的书籍、文字与设计》读书内容简介:浦康平近年与中国、韩国及印度的六位著名设计师——吕敬人、黄永松、安尚秀、郑炳圭、R.K.乔希（R.K.Joshi）、柯蒂·特里维迪（Kirti Trivedi），就东方各国的文化异同，亚洲的书籍、文字、设计以及这三者之间的关系所进行的对谈，通过他们的...详情

经典好书《巴黎·家的私设计》读书内容简介:里去看一下吧！他们钟爱手工原创，珍惜旧物，喜欢到跳蚤市场和古董市场寻找自己喜欢的家具和材料，再加入自己的风格和创意，因此他们的家自然就散发出私设计氛围。每一个家，似乎都在讲述一个故事。巴黎创意人...详情