数理逻辑与机器证明 【数理化】

实用无机物热力学数据手册 第2版 【数理化】

本书集1957种纯物质热力学数据和热力学简化计算方法于一体，将繁杂的化学平衡和能量平衡积分计算简化为四则运算，给手算者带来极大便利。

实用数据分析 原书第2版 【数理化】

本书提供了一系列将数据转化为重要结论的现实案例。书中覆盖了广泛的数据分析工具和算法，用于进行分类分析、聚类分析、数据可视化、数据模拟以及预测。本书的目标是帮助读者了解数据从而找到相应的模式、趋...

实用有限元分析技术 ANSYS专题与技巧 【数理化】

本书是作者多年来从事有限元法教学以及ANSYS软件培训工作的理论概括、技术积累和经验总结。全书共5篇计20章，内容丰富，实用性强。第1篇为有限元模型专题，第2篇为结构动力分析专题，第3篇为结构非线性有限元分析...

一般学习适用 实用代数 第2版 【数理化】

实用珠算学习法 职业学校适用 【数理化】

数据密集型计算环境下贝叶斯网的学习推理及应用 【数理化】

本书是一本学术专著。全书内容共分为5章，在阐述数据密集型计算原理的基础上，以贝叶斯网为主要数据分析工具，详细阐述了在数据密集型计算环境下，贝叶斯网络在结构学习，推理方面与传统单机数据模式下的区别与联系....

大学生专业学习指南 分册12 数学与应用数学 信息与计算科学 统计学 计算机科学与技术 电子商务 软件工程 【数理化】

本书对数学与计算机科学学院所开专业所开设的6个专业进行介绍，并提供学习指导。

方程求解与机器证明 基于MMP的问题求解 【数理化】

统计数据收集和数据处理技术 【数理化】

本教材采用全新的编写理念，把教学内容、教学方法、教学设计等融合到教材中。教材突出教师的教学能动性和学生的学习主动性，运用项目教学方法，强调技能教学，真正实现学中做、做中学，让教师的教学变得生动，让学生.....