测绘案例分析 【天文地球】

本书能够帮助广大从事测绘相关工作的考生快速、高效地掌握教材及考试大纲要求的知识，顺利通过考试。全书分为三个部分，第一部分为学习方法及命题规律，第二部分为章节考点精讲与分章练习，第三部分为真题与考前模...

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

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

Microsoft虚拟化与云计算应用案例详解 【工业技术】

本书全面而详细的介绍了Windows Server 2008 R2与Windows Server 2012的服务器虚拟化、桌面虚拟化的内容，包括虚拟化及云计算的基础知识、安装配置、后期管理与案例应用。...

计算机控制技术 【工业技术】

本教材介绍了计算机控制技术的基本内容，重点讲述一些简单实用的算法和软硬件的应用技术。实用的算法包括PID算法、串级控制、前馈控制及达林算法等内容。本教材对接口电路只作简单介绍，对输入输出板卡的整体...

云计算宝典 【工业技术】

本书是Barrie Sosinsky的又一力作。其内容涵盖了云计算的方方面面，包括：什么能够称为云计算，而什么不是云计算；与云计算相关的概念；云计算的主要特点：资源池化、服务的可伸缩性、多租户支持、服务可计量、管理自...

钢筋的下料计算与施工 【工业技术】

本书立足于建筑施工一线，结合工程实例详细讲解了如何进行钢筋下料及相关的计算，内容包括常用钢筋及其在工程中的组成，钢筋混凝土配筋基本规定，钢筋下料计算方法及示例，钢筋加工，钢筋连接，钢筋的绑扎与安装等建......

数值分析 【数理化】

本书的主要内容有：函数的数值逼近(代数插值与函数的最佳平方逼近),数值积分与数值微分, 线性方程组的解法, 矩阵特征值的计算,非线性方程的数值解法以及常微分方程初值问题的数值解法等。本书可作为高等学校...

新股民技术分析快速入门 【经济】

为了让散户能够快速掌握股市技术分析的技巧，实现跟庄获利，本书通过对实际案例进行分析，介绍了十分实用的技术分析技巧，方便投资者将理论用于实践。...

大学物理（第4版）习题分析与题解 【其他书籍】

财务报表阅读与分析实务从入门到精通 【其他书籍】