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

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

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

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

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

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

经典好书《無瑕的程式碼－整潔的軟體設計與架構篇》读书内容简介:──整潔的軟體設計與架構篇》工程師︰我已經拜讀了《Clean Code》，還有必要讀《Clean Architecture》嗎？架構師︰喔，你會做磚頭，那你會蓋房子嗎？將近10年的等待，全球知名作家Uncle...详情

经典好书《LINUX设备驱动程序》读书内容简介:息，这些信息迄今仅通过口头或者隐晦的源代码注释被共享。你不必是一个内核高手就可以理解并享受本书，所需要的只是C以及Unix系统调用方面的背景知识。在不需要特殊的硬件设备就能编译和运行的详细示例的指引下，你将学会如何给字符设备、块设备和网络接口编写驱动...详情

影片剧情摘要:广告公司之男友David相恋多年，David希望早日结婚，汤决等事业有成就才结婚，汤应征规模宏大的“大奔”机构。谁知其经理割禾青仍大男人主义，看不起女性，决定只聘用男性雇员，，汤被拒绝录用，心中不愤，实行女扮男装力争其职，演出一场港产片的“杜丝先生”...详情

经典好书《JavaScript DOM高级程序设计》读书内容简介:M 脚本编程。全书分为3 个部分：第一部分“深入理解DOM 脚本编程”，涉及W3C DOM 规范的各方面，包括非标准的浏览器支持和不支持的内容；第二部分“浏览器外部通信”，以Ajax 和客户端—服务器端通信为主题；第三部分“部分高级脚本编程资源”，集...详情