计算机应用基础：WINDOWS 7操作系统 【工业技术】

本书是计算机基本知识，Windows7基本操作，文件及文件管理，个性化工作环境，Windows7常用附件，网络应用基础，相关实训操作等。

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

解缠论 2 证券投资分析与实战新论 【经济】

本书提出了作者对证券市场分析的一套理论，作者对股市和网络中热议的“缠论”进行尝试剖析，提出自己的解析论，也就是“解缠论”。详细分析有关证券交易的基本理论和基本知识，比如MACD线，每笔量，买点分析，实战心......

轨道交通运营事故案例分析 【交通运输】

本书共11章，分轨道交通和城市轨道交通两篇介绍173个运营安全案例，每章汇总了相似原因形成的行车事故，并分析了每个事故的原因，以及给运营工作带来的启示，具有很强的警示性、启发性、借鉴性。本书可用做轨道交通...

多元统计分析引论 【数理化】

多元统计分析是数理统计学中发展迅速的一个分支，在许多领域有广泛的应用，如地质、气象、水文和误差分析等方面多元分析方法是一种很有用的数据处理方法。本书系统论述了多元统计分析的基本理论和方法，并力求理...

课堂教学管理策略研究 基于案例的分析 【文化科学教育体育】

本书由我国课程教学论学会副理事长，西南大学教育学院教授李森及其团队所编写，论述了课堂管理的基本理论，重点探讨了课堂管理的若干策略。采用了理论结合案例的方法，使所探索并论述的课堂教学管理策略最终落实到...

试 卷四高分突破 简答题、案例分析题、法律文书、论述题 【政治法律】

AMK伺服控制系统原理及应用 【工业技术】

本书首先介绍了伺服系统的基本概念；然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍；最后举例说明了伺服控制的应用，以加深读者对伺服与伺服系统的认识。...

货运交通系统 【交通运输】

本书根据交通系统特征，解析货运交通量的生成、分布、方式及分配；分析产业结构与货运交通的关系，探索货运交通需求预测方法；分析不同运输方式下货运交通的组成与特征，研究不同货物品种的交通方式的适应性；研究货.....

计算机应用基础：EXCEL 2010电子表格系统 【工业技术】

Excel 2010基本操作，数据的输入与编辑，工作表与单元格的基本操作，公式和函数，数据的排序、筛选与分类汇总，图表的使用，相关实训操作等。...