经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《数据结构与问题求解》读书内容简介:用的观点介绍了数据结构和算法。本书中包含了C++的最新特性，任何地方都可以完全使用标准模板库（STL）。　　　　C++允许程序员分开编写接口和实现，将它们保存在单独编译的文件中，并隐藏实现的具体细节。本书深入了一层：数据结构的接口和实现...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查，最受程序员喜爱的开发语言中，Clojure和Scala分别位列第五和第六。排名第一的是Swift，而Swift相比原先的Objective-C最重要的优点之一，就是对函数式编程提供了更好的支持。同时，新一代分布式计算系统Spark不仅在实...详情

经典好书《Hadoop权威指南:大数据的存储与分析(第4版)(修订版)(升级版)》读书内容简介:之一。自2007年2月以来，Tom White一直是Apache Hadoop的提交者(committer)，也是Apache软件基金会的成员。Tom是Cloudera的软件工程师，他是Cloudera的首批员工，对Apache和Cloudera做出...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《数据库与事务处理》读书内容简介:业的国际竞争将更加激烈。我国信息产业虽然在20世纪末取得了迅猛发展，但与发达国家相比，甚至与印度、爱尔兰等国家相比，还有很大差距。国家信息化的发展速度和信息产业的国际竞争能力，最终都将取决于信息科学技术人才的质量和数量。引进国外信息科学和技术优秀教材...详情

经典好书《数据结构与算法分析》读书内容简介:d Algorithm Analysis in C》一书第2版的简体中译本。原书曾被评为20世纪顶尖的30部计算机著作之一，作者Mark Allen Weiss在数据结构和算法分析方面卓有建树，他的数据结构和算法分析的著作尤其畅销，并受到广泛好评．已...详情

经典好书《概率论与数理统计教程》读书内容简介:通高等教育“十一五”国家级规划教材。全书共八章，前四章为概率论部分，主要叙述各种概率分布及其性质，后四章为数理统计部分，主要叙述各种参数估计与假设检验。 《概率论与数理统计教程》的编写从实例出发；图文并茂，通俗易懂，注重讲清楚基本概念与统计思想...详情

经典好书《学习JavaScript数据结构与算法（第2版）》读书内容简介:础知识以及ES6 和ES7 中引入的新功能，接下来讨论了数组、栈、队列、链表、集合、字典、散列表、树、图等数据结构，之后探讨了各种排序和搜索算法，包括冒泡排序、选择排序、插入排序、归并排序、快速排序、堆排序、计数排序、桶排序、基数排序、顺序搜索、二分...详情