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

经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集；从最基本的编译器链器的使用到高级过程、结构和宏的使用；从用纯汇编编写程序到用C／C++等最新编译器与汇编的混合接口编程；从16位实模式下BIOS、D...详情

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《计算机组成（第6版）》读书内容简介:完全建立在“计算机是由层次结构组成的，每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新，以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层，并涵盖...详情

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

经典好书《金融计量经济学导论》读书内容简介:MBA学生),这些学生需要掌握广泛的现代计量经济技术。同时我们也希望,该书对需要了解金融领域广泛使用的统计工具的研究者(包括理论型的和应用型的)有所帮肋。本书还可用于金融学、金融经济学、证券和投资学的本科生或研究生的金融时间序列分析或金融计量经济学课...详情

经典好书《C程序设计经典教程》读书内容简介:ogram的最新版。在美国，数十万学生通过本书学习C语言。作者Deitel父子从事编程和教学工作数十年，其所著教材被誉为美国标准教材，在教育界享有盛誉。 本书新版本有以下特色： （1）应用软件工程原理讲述结构化...详情

经典好书《统计学》读书内容简介:53841，作者：贾俊平 等 著作者简介贾俊平，中国人民大学统计学院副教授。研究方向：统计方法在经济各领域的应用、统计教学方式和方法。主要著作有：《统计学》、《描述统计》、《工商管理统计》、《市场调查与分析》等。主持研究的...详情

经典好书《Go 语言程序设计》读书内容简介:公司创始人，独立的培训讲师、顾问、技术编辑，Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情

经典好书《E-Prime 实验设计技术》读书内容简介:一编是“心理实验程序设计的理论框架”，介绍心理实验程序设计的模式化方法，用于指导E-Prime的实验程序设计，也可用于指导用其他软件设计心理实验程序。第二编是“E-Prime基本实验程序设计”，重点介绍E-Prime的基本知识和基本设计技巧，包括E-...详情