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

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

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

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

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

经典好书《程序化广告 个性化精准投放实用手册》读书内容简介: 作者简介详情

经典好书《ACM国际大学生程序设计竞赛》读书内容简介:内容简介：ACM国际大学生程序设计竞赛（ACM-ICPC）是国际上公认的水平最高、规模最大、影响最深的计算机专业竞赛，目前全球参与人数达20多万。《ACM国际大学生程序设计竞赛:算法与实现》作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系...详情

经典好书《集字圣教序：张应召本》读书内容简介: 作者简介详情

经典好书《太空序曲》读书内容简介:船首次太空飞行的发射方式、时间、地点，飞船的外形、结构、建造，火箭推进器、燃料、升空，宇航员的选拔、训练、心境，太空时代给人类带来的各种可能空间，在太空探索中可能出现的灾难……该作品写于1947年，90年代还修订重印多次，是作者最早关于太空探险方面的...详情

经典好书《Windows程序设计》读书内容简介:开始编写个人计算机程序，从1985年开始编写Micrososft Windows程序。他在《Microsoft Systems Journal》1986年12月号上发表了第一篇关于Windows程序设计的杂志论文。从1986年到1995年，他为《PC...详情