经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《空间网格结构分析理论与计算方法》读书内容简介: 《空间网格结构分析理论与计算方法》为中国建筑工业出版社出版发行。作者简介详情

经典好书《算法设计与分析》读书内容简介:法的思想过程而不是实现细节和编程技巧，非正式的、直觉性的解释经常被用来代替冗长单调的证明《算法设计与分析(影印版)》是自包含的，并假设读者没有任何数学和编程语言方面的专业背景。算法研究是整个计算机科学的核心。近年来算法领域取得了大量的重要突破这些突破...详情

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

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

经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用，并通过实例讲解了系统的面向对象分析与设计过程，以及如何用UML语言为系统建模。此外，还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例，通过实例启...详情

经典好书《SPSS统计分析高级教程（第3版）/高等学校教材》读书内容简介:校教材》全面、系统地介绍了各种多变量统计模型、多元统计分析模型、智能统计分析方法的原理和软件实现，是一本使用SPSS进行高级统计分析的实用性很强的指导书和参考书。《SPSS统计分析高级教程（第3版）/高等学校教材》共分4个部分，分别是一般线性模型、线...详情

经典好书《SPSS统计分析高级教程》读书内容简介:.O为准，详细介绍了各种多变量统计模型、多元统计分析模型的方法原理和软件实现技术，其内容涵盖了各种有广泛应用、经典或现代的模型和方法。全书共分20章，作者在书中结合了自身多年的统计分析实践和SPSS行业应用经验，既有深入浅出的理论介绍，又有针对实际问...详情

经典好书《算法设计与分析基础》读书内容简介:授。他的论文 A New Road Map of Algorithm Design Techniques:Picking Up Where the Traditional Classification Leaves Off（《算法设计技术新途径：弥补...详情

经典好书《实验设计与分析》读书内容简介:亚利桑那州立大学、华盛顿大学和佐治亚理工学院三所大学近40年实验设计教学经验的基础上编写的. 全书内容广泛, 实例丰富,包括简单比较试验、析因设计、分式析因第1章设计、拟合回归模型、响应曲面方法和设计、稳健参数设计和过程稳健性研究、含随机因子的实验、...详情