经典好书《算法I~IV(C++实现)――基础、数据结构、排序和搜索(第三版)》读书内容简介:的著作,对它进行了充分的扩展和更新,涵盖了目前重要的算法和数据结构。Christopher Van Wyk和Sedgewick开发的新实现采用的是C++语言,这种实现不仅能够直接地表达算法,而且给编程者提供了实践的方法,以便在真正的应用中测试这些算法...详情
序曲 书籍
经典好书《序曲》读书内容简介:>“这本诗集共选取了41首诗,题目则来自其中三年前所写的一首。“序曲”,有乐章开始的喻指,但并不意味着对任何一个过去时起点的否定,而是试图表明这样一种态度:没有任何被听到的声音不是过去时的声音,但它却可以成为一种新的时间计量的起始,它的创造者可以继续...详情
节序同风录 书籍
经典好书《节序同风录》读书内容简介:十二月之風俗事宜。《闕里文獻考》稱孔氏‘采曲阜民俗撰《節序同風録》十二卷’,所紀大抵以北地風俗爲主,或采舊籍陳説,亦及吴楚南中之俗。《四庫總目》歸史部時令類,列爲存目,提要云:‘《節序同風録》,無卷數,衍聖公孔昭焕家藏本。國朝孔尚任撰。尚任有《人瑞録...详情
C语言程序设计现代方法 书籍
经典好书《C语言程序设计现代方法》读书内容简介:计教育家,现为佐治亚州立大学数学与计算机科学系副教授。他拥有耶鲁大学计算机科学硕士学位,加州大学伯克利分校计算机科学博士学位,曾任教于佐治亚理工学院。除本书外,他还撰写了广受欢迎的著作Modula-2: A Complete Guide 和Java ...详情
经典好书《实战Java高并发程序设计》读书内容简介:执行单一程序,随着多核CPU的发展,并行程序开发就显得尤为重要。《实战Java高并发程序设计》主要介绍基于Java的并行程序设计基础、思路、方法和实战。第一,立足于并发程序基础,详细介绍Java中进行并行程序设计的基本方法。第二,进一步...详情
交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
经典好书《Scala程序设计(第2版)》读书内容简介:最新语言特性,新添了模式匹配、推导式以及高级函数式编程等知识。通过本书,读者还能学会如何使用Scala命令行工具、第三方工具、库以及适用于编辑器和IDE的Scala相关插件。本书既适合Scala初学者入门,也适合经验丰富的Scala开发者进阶参考。<...详情
Scala程序设计 书籍
经典好书《Scala程序设计》读书内容简介:言,用来以简明、优雅、类型安全的方式表示常见的编程模式。它无缝集成了面向对象语言和函数式语言的特性,可以大大提高JAVA程序员的编程效率。Twitter、SAP等知名企业已经开始在一些应用里使用Scala,很多新的程序员也开始学习它。本...详情