程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
反应式Web应用开发 书籍
经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法,以实现更加灵活和高性能的Web应用程序。本书共11章,分成三大部分。第一部分(第1章到第4章)主要介绍了反应式编程的基础理念,并讲解了函数式编程和Play框架的基础知识。第二部分(第5章到第8章)介...详情
经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程,介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等,还讲述了构建Linux系统的工作原理,用于驱动不同体系结构的配置,Linux内核源码树的特性,如何根据需求配制内核运行时的行为,如何扩展系统功...详情
经典好书《深入分布式缓存:从原理到实践》读书内容简介:布式缓存的书籍,包含了原理、框架、架构、案例等多方面的视角。互联网系统随着容量需求的陡增,许多看似简单的存储类场景都面临着巨大的容量和稳定性风险,而其中的大部分都可以通过对缓存的合理使用来规避。读者从对本书的阅读当中,将会获得应对这些问...详情
赖世雄美语从头学美式音标 书籍
经典好书《赖世雄美语从头学美式音标》读书内容简介:专为想学好标准美语发音的读者所编写,全书使用美式K.K.音标。打下从零起点到日后无师自通的发音基础。书本文字及发音讲解简单易懂,巧妙点拨发音技巧,人人皆可豁然开朗,学好一口漂亮的美语发音。《英语自学丛书•赖世雄美语从头学:美式音标(附光盘)》作者赖世...详情
可士和式 书籍
经典好书《可士和式》读书内容简介:,我看到了從不同觀點理解的《可士和式》。」——佐藤可士和本書特色:◆不同於過往著重know-how的分享,日本首席藝術指導第一次面對讀者,暢談自己的內在價值和美學意識。◆由共生關係的評論人與創作...详情
网格系统与版式设计 书籍
经典好书《网格系统与版式设计》读书内容简介:设计案例,包括包豪斯的平面设计和耐克的产品目录,从构成要素与程序入手,对网格系统做出了通俗易懂的介绍,讲解了网格系统的应用法则,并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说,揭示了成功的设计作品是如何运用各种手段构成视觉关系的,向读...详情
松本行弘的程式世界 书籍
经典好书《松本行弘的程式世界》读书内容简介:>本書以松本行弘先生對程式本質的深層認知、各種技術之優缺點的掌握,闡述Ruby這套程式語言的設計理念,並由此延伸讓您一窺程式設計的奧妙之處。本書內含許多以Ruby、Lisp、Smalltalk、Erlang、JavaScript等動態語言所寫成...详情
常用不等式 书籍
经典好书《常用不等式》读书内容简介:三版的内容作了全面细致的修订,并补充了第三版出版以来不等式研究的新的重要成果,充分反映了20世纪以来,特别是20世纪90年代以来不等式理论和方法的最新进展。全书共分17章,包含了美国数学评论(MR)2000主题分类中所有关于不等式论题的40个三级分类...详情