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

经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程，介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等，还讲述了构建Linux系统的工作原理，用于驱动不同体系结构的配置，Linux内核源码树的特性，如何根据需求配制内核运行时的行为，如何扩展系统功...详情

经典好书《服务设计模式》读书内容简介:fulWeb服务设计解决方案》是Web服务设计领域的经典著作，Amazon五星级畅销书，Web服务领域资深专家撰写，MaritnFowler和Ian Robinson等大师级人物亲自作序推荐。本书不仅详细讲解了SOAP、WSDL、RESTful3种W...详情

经典好书《深入分布式缓存：从原理到实践》读书内容简介:布式缓存的书籍，包含了原理、框架、架构、案例等多方面的视角。互联网系统随着容量需求的陡增，许多看似简单的存储类场景都面临着巨大的容量和稳定性风险，而其中的大部分都可以通过对缓存的合理使用来规避。读者从对本书的阅读当中，将会获得应对这些问...详情

经典好书《设计模式》读书内容简介:版)是引导读者走入软件设计迷宫的指路明灯，凝聚了软件开发界几十年的设计经验。四位顶尖的面向对象领域专家尽心挑选了最具价值的23种设计实践，加以分类整理和命名，并用简洁而易于重用的形式表达出来。这23个模式逐渐成为开发界进行技术交流所必备的基本知识和语...详情

经典好书《网格系统与版式设计》读书内容简介:设计案例，包括包豪斯的平面设计和耐克的产品目录，从构成要素与程序入手，对网格系统做出了通俗易懂的介绍，讲解了网格系统的应用法则，并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说，揭示了成功的设计作品是如何运用各种手段构成视觉关系的，向读...详情

经典好书《设计模式之禅》读书内容简介:的“圣经”，那么之后出版的各种关于设计模式的书都可称之为“圣经”的“注释版”或“圣经的故事”。本书是得道者对“圣经”的“禅悟”，它既不像“圣经”那样因为惜字如金、字字珠玑而深奥、晦涩和难懂，又比“圣经”的“注释版”更深刻和全面、更通俗和生动、更接近开...详情

经典好书《分布式系统概念与设计》读书内容简介:前版已被爱丁堡大学、伊利诺伊大学、卡内基-梅隆大学、南加州大学、得克萨斯A&M大学、多伦多大学、罗切斯特理工学院等世界众多名校采纳为高级操作系统、计算机网络、分布式系统课程的教材。第4版的新内容：全新的三章内容，分别介绍对等系统、Web服务、移动与普...详情

经典好书《版式设计》读书内容简介:者总结了多年来在版式设计中容易出现的问题，并就问题提出改进的优选方案；第二部分为实战法则，通过对同一内容进行不同的版式设计，让一呈现出N种不同的设计方案，能让读者学习到非常有用的方案，并产生还能如此恍然大悟的感觉。不同于以往市场整合版式设计分析的做法...详情

经典好书《分布式系统应用设计》读书内容简介:系统的开发和部署方式，从此，我们有了全新的方式与接口来描述核心分布式系统的开发模式及可重用的容器化组件。作为一本指导性手册，《分布式系统应用设计》主要介绍了常见的可重用的设计模式，以帮助开发人员更高效地开发可靠的分布式系统。之前开发者经...详情