经典好书《Scala函数式编程》读书内容简介:不依赖于编程状态的函数。函数式代码易于测试和复用，容易实现并发，且不容易受到bug的攻击。Scala是一种能很好支持函数式编程的新兴JVM语言。《Scala函数式编程》是针对希望学习FP并将它应用于日常编码中的程序员而写的，内容包括：函数式编程的概念...详情

经典好书《函数式编程思维》读书内容简介:共同实践做法，展示如何通过函数式语言解决问题。例如，如何利用函数式语言，通过高阶函数、多元方法等完成代码重用。知名软件架构师Neal Ford为我们展示不同的编程范式，帮我们完成从Java命令式编程人员，到使用Java、Clojure、Scala函数...详情

经典好书《仪式过程》读书内容简介:六七十年代相当活跃和多产的人类学家。他在恢复人们对比较宗教学的兴趣及开创“符号人类学”的研究方面扮演了主要的角色，是与格尔兹（Clifford Geertz）分庭抗礼的象征人类学家。 特纳于1920年出生于苏格兰。1950年4月离开...详情

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和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归纳构造演算的艺术》配套网站可...详情