程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
反应式Web应用开发 书籍
经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法,以实现更加灵活和高性能的Web应用程序。本书共11章,分成三大部分。第一部分(第1章到第4章)主要介绍了反应式编程的基础理念,并讲解了函数式编程和Play框架的基础知识。第二部分(第5章到第8章)介...详情
经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查,最受程序员喜爱的开发语言中,Clojure和Scala分别位列第五和第六。排名第一的是Swift,而Swift相比原先的Objective-C最重要的优点之一,就是对函数式编程提供了更好的支持。同时,新一代分布式计算系统Spark不仅在实...详情
经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程,介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等,还讲述了构建Linux系统的工作原理,用于驱动不同体系结构的配置,Linux内核源码树的特性,如何根据需求配制内核运行时的行为,如何扩展系统功...详情
服务设计模式 书籍
经典好书《服务设计模式》读书内容简介:fulWeb服务设计解决方案》是Web服务设计领域的经典著作,Amazon五星级畅销书,Web服务领域资深专家撰写,MaritnFowler和Ian Robinson等大师级人物亲自作序推荐。本书不仅详细讲解了SOAP、WSDL、RESTful3种W...详情
经典好书《深入分布式缓存:从原理到实践》读书内容简介:布式缓存的书籍,包含了原理、框架、架构、案例等多方面的视角。互联网系统随着容量需求的陡增,许多看似简单的存储类场景都面临着巨大的容量和稳定性风险,而其中的大部分都可以通过对缓存的合理使用来规避。读者从对本书的阅读当中,将会获得应对这些问...详情
经典好书《《仪礼》与《礼记》之社会学的研究》读书内容简介:响。本书是近代国人对这两部经典从社会学角度加以全面系统研究的首部专著,无论对于社会学研究还是礼学研究,都具有拓宽新视野、开辟新领域的重要意义。作者对于史料删繁就简、去芜存精,分门别类之精当,分析评论之高妙,在今天看来,仍有重要的参考价值。<b...详情
设计模式 书籍
经典好书《设计模式》读书内容简介:版)是引导读者走入软件设计迷宫的指路明灯,凝聚了软件开发界几十年的设计经验。四位顶尖的面向对象领域专家尽心挑选了最具价值的23种设计实践,加以分类整理和命名,并用简洁而易于重用的形式表达出来。这23个模式逐渐成为开发界进行技术交流所必备的基本知识和语...详情
赖世雄美语从头学美式音标 书籍
经典好书《赖世雄美语从头学美式音标》读书内容简介:专为想学好标准美语发音的读者所编写,全书使用美式K.K.音标。打下从零起点到日后无师自通的发音基础。书本文字及发音讲解简单易懂,巧妙点拨发音技巧,人人皆可豁然开朗,学好一口漂亮的美语发音。《英语自学丛书•赖世雄美语从头学:美式音标(附光盘)》作者赖世...详情