经典好书《程序设计语言：设计与实现（第四版）》读书内容简介:史和基本概念，讲述了程序语言语法、语义和编译实现之间的关系，介绍了数据类型、顺序控制、子程序、封装、继承等概念以及其实现技术，涉及函数式语言、逻辑式语言、命令式语言和面向对象的语言，包括排版、并行、分布式和网络程序语言等，分析了13种不同语言的编程实...详情

经典好书《程序开发心理学》读书内容简介:5年的岁月中一直保持活力，至今仍在继续。1997年，本书作者温伯格因其在软件领域的杰出贡献，被美国计算机博物馆的计算机名人堂选为首批5位成员之一。在计算机界，还没有任何一本计算机方面的书，在初次出版之后，能够在长达25年的岁月中一直保持...详情

经典好书《Erlang程序设计（第2版）》读书内容简介:ng编写，是毋庸置疑的经典著作。书中兼顾了顺序编程、并发编程和分布式编程，重点介绍如何编写并发和分布式的Erlang程序以及如何在多核CPU上自动加速程序，并深入地讨论了开发Erlang应用中至关重要的文件和网络编程、OTP、ETS和DETS等主题。...详情

经典好书《C语言程序设计现代方法》读书内容简介:计教育家，现为佐治亚州立大学数学与计算机科学系副教授。他拥有耶鲁大学计算机科学硕士学位，加州大学伯克利分校计算机科学博士学位，曾任教于佐治亚理工学院。除本书外，他还撰写了广受欢迎的著作Modula-2: A Complete Guide 和Java ...详情

经典好书《实战Java高并发程序设计》读书内容简介:执行单一程序，随着多核CPU的发展，并行程序开发就显得尤为重要。《实战Java高并发程序设计》主要介绍基于Java的并行程序设计基础、思路、方法和实战。第一，立足于并发程序基础，详细介绍Java中进行并行程序设计的基本方法。第二，进一步...详情

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

经典好书《Scala程序设计（第2版）》读书内容简介:最新语言特性，新添了模式匹配、推导式以及高级函数式编程等知识。通过本书，读者还能学会如何使用Scala命令行工具、第三方工具、库以及适用于编辑器和IDE的Scala相关插件。本书既适合Scala初学者入门，也适合经验丰富的Scala开发者进阶参考。<...详情

经典好书《Scala程序设计》读书内容简介:言，用来以简明、优雅、类型安全的方式表示常见的编程模式。它无缝集成了面向对象语言和函数式语言的特性，可以大大提高JAVA程序员的编程效率。Twitter、SAP等知名企业已经开始在一些应用里使用Scala，很多新的程序员也开始学习它。本...详情

经典好书《程序设计抽象思想》读书内容简介: 本书全面介绍了数据结构的基础内容。介绍了多个库包，可用于简化编程流程；详细讨论了递归编程的用法，包括大量难度各异的编程示例和练习。作者简介详情

经典好书《程序员修炼之道(第2版)》读书内容简介:，被一代代开发者奉为圭臬，盖因它可以创造出真正的价值：或编写出更好的软件，或探究出编程的本质，而所有收获均不依赖于特定语言、框架和方法。时隔20年的新版，经过全面的重新选材、组织和编写，覆盖哲学、方法、工具、设计、解耦、并发、重构、需求、团队等务实话...详情