高阶逻辑辅助证明系统

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

航空舵机系统设计引论

本书内容包括航空舵机的基本理论和计算方法，给出了这些理论和方法在现代机动飞机和客机上的应用。归纳了电液舵机的主要指标，其中包括美国和俄罗斯第三代、第四代及现代战斗机的舵机构造原理、涉及指标，其中包...

多媒体应用系统技术实验指导与习题解析 第2版

AMK伺服控制系统原理及应用

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

货运交通系统

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

计算机应用基础：EXCEL 2010电子表格系统

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

系统安装、重装与恢复必备技巧

本书以技巧的形式，介绍了系统安装、重装与恢复的大量知识，包括安装系统前的准备工作、安装操作系统、安装与卸载驱动程序、安装系统补丁与系统优化、安装与使用常用软件、多系统的资源共享、操作系统备份与还...

嵌入式系统基础

本书以嵌入式系统硬件以及嵌入式实时操作系统为重点，全面介绍嵌入式系统概况，ARM体系结构，ARM的指令系统，LPC2000系列ARM的硬件结构，基于源代码开放的μC/OS-II程序设计，嵌入式系统的设计与开发。本书实例典型，内...

汉语格系统句法重建和汉语起源演化问题

本书是一本汉语语言专著。主要从句法重建、构式语法、语义风格的角度研究上古汉语、汉藏语系相关语族和语支及现代汉语方言集团的动词格系统和相关句法系统。本书是上海市教委科研创新项目。...

会计信息系统

本书简要介绍了会计信息系统的产生和发展，详细阐述了会计信息系统开发和设计的方法，并且详细介绍了账务处理、采购与付款、销售与收款、存货、固定资产、工资、成本等模块的开发与设计的过程和方法；同时，也对会...