程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
经典好书《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...详情
设计模式 书籍
经典好书《设计模式》读书内容简介:版)是引导读者走入软件设计迷宫的指路明灯,凝聚了软件开发界几十年的设计经验。四位顶尖的面向对象领域专家尽心挑选了最具价值的23种设计实践,加以分类整理和命名,并用简洁而易于重用的形式表达出来。这23个模式逐渐成为开发界进行技术交流所必备的基本知识和语...详情
设计模式之禅 书籍
经典好书《设计模式之禅》读书内容简介:的“圣经”,那么之后出版的各种关于设计模式的书都可称之为“圣经”的“注释版”或“圣经的故事”。本书是得道者对“圣经”的“禅悟”,它既不像“圣经”那样因为惜字如金、字字珠玑而深奥、晦涩和难懂,又比“圣经”的“注释版”更深刻和全面、更通俗和生动、更接近开...详情
设计模式 书籍
经典好书《设计模式》读书内容简介:将在计算机科学的宫殿中的由登堂而入室。作者简介四位作者均是国际公认的面向对象软件领域的专家。Erich Gamma博士是瑞士苏黎士国际面向对象技术软件中心的技术主管。Richard Helm博士...详情
设计模式解析 书籍
经典好书《设计模式解析》读书内容简介:了解模式的内幕,并且为你提高自身的整体设计能力奠定基础。本书还为初学者提供了关于面向对象设计模式的准确和有帮助的入门介绍。 本书将面向对象的编程原则与设计模式的强大功能结合起来创建了一个编程环境,用于开发健壮的和可靠的软件。书中包含很...详情
研磨设计模式 书籍
经典好书《研磨设计模式》读书内容简介:计模式并加以细细研磨。初级内容从基本讲起,包括每个模式的定义、功能、思路、结构、基本实现、运行调用顺序、基本应用示例等,让读者能系统、完整、准确地掌握每个模式,培养正确的“设计观”;中高级内容则深入探讨如何理解这些模式,包括模式中蕴涵什么样的设计思想...详情