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

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

经典好书《Java 8函数式编程》读书内容简介:mbda表达式分析流、高级集合和其他Java 8类库的改进利用多核CPU提高数据并发的性能将现有代码库和库代码Lambda化学习Lambda表达式单元测试和调试的实践解决方案用La...详情

经典好书《一站式学习C编程》读书内容简介:linux平台为载体全面深入地介绍c语言的语法和程序的工作原理，另一条线索是介绍程序设计的基本思想和开发调试方法。本书分为两部分：第一部分讲解编程语言和程序设计的基本思想方法，让读者从概念上认识c语言；第二部分结合操作系统和体系结构的知识讲解程序的工...详情

经典好书《Haskell函数式编程入门》读书内容简介:askell这门经过精心设计和锤炼的纯函数式编程语言的书，同时也是一本通过haskell来讲解函数式编程的方法与思想的书。全书共分三个部分。第一部分介绍函数式编程在解决数学与算法问题的精简与直观的特色，让不熟悉haskell的读者对其建立初步的了解，...详情

经典好书《版式设计基础教程》读书内容简介:讲解为什么要进行版式设计，版式设计的基本要素、分类以及文字排列的基本方式。除此之外，作者针对如何吸引读者注意以及如何引导读者视线做了比较详细的阐述。《版式设计基础教程》还有一个最大的特点，就是作者不断提醒设计师“版式设计要从读者角度出发，为读者着想”...详情

经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《ZooKeeper:分布式过程协同技术详解》读书内容简介:）阐述ApacheZooKeeper这类系统的设计目的和动机，并介绍分布式系统的一些必要背景知识。第1章介绍ZooKeeper可以做什么，以及其设计如何支撑这些任务。第2章介绍基本概念和基本组成模块，并通过命令行工具的具体操作介绍了ZooKeeper...详情

经典好书《ARM嵌入式系统基础教程》读书内容简介:系统系列教程》中的理论课教材。以PHILIPS公司LPC2000系列ARM微控制器为例，深入浅出地介绍嵌入式系统开发的各个方面。全书共分为3部分：第1章和第2章为理论部分，主要介绍嵌入式系统的概念及开发方法。第3～5章为基础部分，主要介绍ARM7体系...详情

经典好书《嵌入式Linux基础教程（第2版）》读书内容简介:稳定的内核、开源共享的软件、优秀的开发工具、完善的网络通信和文件管理机制等特点，使嵌入式Linux获得了广泛应用，已成为嵌入式开发的主流平台。本书是嵌入式Linux领域的名著。全面深入而又简明地阐述了构建嵌入式Linux系统的精髓。书中...详情