气候系统监测诊断年报 2012年 【天文地球】

本书分为五章，第一章描述2012年全球气候概况；第二章分析年内大气环流变化的主要特点及亚洲季风活动特征；第三章介绍年内热带海洋的变化特征和监测概况；第四章分析2012年地表温度变化、北半球积雪和南、北极海冰...

机械振动系统 分析建模测试对策 上 【工业技术】

本书讲述现代振动工程中有关振动系统的分析、建模、测试与对策方面的基础理论、基本知识及常用的方法与技巧。本册内容包括单自由度与多自由度系统振动的基础知识，多自由度系统振动分析的常用方法及振动问题...

会计信息系统 原书第11版 英文 【经济】

本书分为四大部分：会计信息系统概述，业务流程，系统开发，以及现代信息系统技术。本书的核心内容是业务流程、交易循环和内部控制，作者清楚地讲述了新型会计信息系统的基本概念和框架，并从互联网和电子商务应用的.....

数控系统及仿真技术 【工业技术】

本书以“工程教育”为背景，编写过程中注重理论和实践的有机结合，注重德国工程教育模式的参考学习。本书介绍了数控系统的基本原理、典型数控系统软硬件结构与系统连接、数控仿真系统基本理论、数控工艺设计与...

现代通信系统原理 【工业技术】

本书全面阐述了各种通信系统的基本概念、组成、工作原理、关键技术和发展方向。全书内容共9章，不仅涵盖现代通信系统的基础理论，以及数据通信、现代交换、光通信、移动通信、卫星通信、数字微波通信、多媒体...

Linux系统管理习题集 【工业技术】

本书是一本Linux的入门教材习题集，它适合于初级到中级的读者。本书使用生动而简单的生活中的例子来解释复杂的计算机和Linux操作系统概念，避免用计算机的例子来解释计算机和操作系统的概念。读者可以在没有任...

普通高等教育“十二五”规划教材 电力系统概论 第2版 【工业技术】

电力系统优化数学模型和计算方法 【工业技术】

本书针对电力系统运行、规划与控制中的一些实际问题，本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结，这些模型可以归纳为非线性、线性以及随机模型等，优化方法涉及传统优化、随机优化和动态优...

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

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

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

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