经典好书《成為卓越程式設計師的38項必修法則》读书内容简介:ete 知道：卓越的軟體，是優秀的人們盡最大努力所完成的。”-Lisa Crispin 《Agile Testing: A Practical Guide for Testers and Agile Teams》作者如果你...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《重构与模式》读书内容简介:两种软件开发关键技术之间的联系，说明了通过重构实现模式改善既有的设计，往往优于在新的设计早期使用模式。《重构与模式》不仅展示了一种应用模式和重构的创新方法，而且有助于读者透过实战深入理解重构和模式。书中讲述了27种重构方式。《重构与模式...详情

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

经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法，以实现更加灵活和高性能的Web应用程序。本书共11章，分成三大部分。第一部分（第1章到第4章）主要介绍了反应式编程的基础理念，并讲解了函数式编程和Play框架的基础知识。第二部分（第5章到第8章）介...详情

经典好书《E-Prime 实验设计技术》读书内容简介:一编是“心理实验程序设计的理论框架”，介绍心理实验程序设计的模式化方法，用于指导E-Prime的实验程序设计，也可用于指导用其他软件设计心理实验程序。第二编是“E-Prime基本实验程序设计”，重点介绍E-Prime的基本知识和基本设计技巧，包括E-...详情

经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查，最受程序员喜爱的开发语言中，Clojure和Scala分别位列第五和第六。排名第一的是Swift，而Swift相比原先的Objective-C最重要的优点之一，就是对函数式编程提供了更好的支持。同时，新一代分布式计算系统Spark不仅在实...详情

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

经典好书《嵌入式硬件设计》读书内容简介: 嵌入式硬件设计（第二版），ISBN：9787508353722，作者：（美）卡特索利斯作者简介详情

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