程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
反应式Web应用开发 书籍
经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法,以实现更加灵活和高性能的Web应用程序。本书共11章,分成三大部分。第一部分(第1章到第4章)主要介绍了反应式编程的基础理念,并讲解了函数式编程和Play框架的基础知识。第二部分(第5章到第8章)介...详情
经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程,介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等,还讲述了构建Linux系统的工作原理,用于驱动不同体系结构的配置,Linux内核源码树的特性,如何根据需求配制内核运行时的行为,如何扩展系统功...详情
服务设计模式 书籍
经典好书《服务设计模式》读书内容简介:fulWeb服务设计解决方案》是Web服务设计领域的经典著作,Amazon五星级畅销书,Web服务领域资深专家撰写,MaritnFowler和Ian Robinson等大师级人物亲自作序推荐。本书不仅详细讲解了SOAP、WSDL、RESTful3种W...详情
经典好书《深入分布式缓存:从原理到实践》读书内容简介:布式缓存的书籍,包含了原理、框架、架构、案例等多方面的视角。互联网系统随着容量需求的陡增,许多看似简单的存储类场景都面临着巨大的容量和稳定性风险,而其中的大部分都可以通过对缓存的合理使用来规避。读者从对本书的阅读当中,将会获得应对这些问...详情
设计模式 书籍
经典好书《设计模式》读书内容简介:版)是引导读者走入软件设计迷宫的指路明灯,凝聚了软件开发界几十年的设计经验。四位顶尖的面向对象领域专家尽心挑选了最具价值的23种设计实践,加以分类整理和命名,并用简洁而易于重用的形式表达出来。这23个模式逐渐成为开发界进行技术交流所必备的基本知识和语...详情
赖世雄美语从头学美式音标 书籍
经典好书《赖世雄美语从头学美式音标》读书内容简介:专为想学好标准美语发音的读者所编写,全书使用美式K.K.音标。打下从零起点到日后无师自通的发音基础。书本文字及发音讲解简单易懂,巧妙点拨发音技巧,人人皆可豁然开朗,学好一口漂亮的美语发音。《英语自学丛书•赖世雄美语从头学:美式音标(附光盘)》作者赖世...详情
可士和式 书籍
经典好书《可士和式》读书内容简介:,我看到了從不同觀點理解的《可士和式》。」——佐藤可士和本書特色:◆不同於過往著重know-how的分享,日本首席藝術指導第一次面對讀者,暢談自己的內在價值和美學意識。◆由共生關係的評論人與創作...详情
网格系统与版式设计 书籍
经典好书《网格系统与版式设计》读书内容简介:设计案例,包括包豪斯的平面设计和耐克的产品目录,从构成要素与程序入手,对网格系统做出了通俗易懂的介绍,讲解了网格系统的应用法则,并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说,揭示了成功的设计作品是如何运用各种手段构成视觉关系的,向读...详情