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

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

FANUC数控系统设计及应用 【工业技术】

本书面向数控机床电气设计、安装调试、运行维护工程师以及相关专业大中专院校师生，全面深入地介绍了FANUC数控系统的硬件设备与选型、硬件连接与设定、PMC顺序程序结构和编程指令、CNC典型接口及功能设计，以...

中华人民共和国水利电力部 电力建设施工及验收技术规范 汽轮机机组篇 SDJ53-83 【工业技术】

测试系统设计原理及应用 【工业技术】

本书以具体的系统设计为例，比较全面地介绍了测试系统的基本分析方法、设计原则和设计方法。以系统设计步骤为序，介绍了系统的方案设计、模块设计方法、电路的设计和仿真验证；以系统实现和实践为主，着重讲述了电...

海底光缆通信 关键技术、系统设计及OA&M 【工业技术】

本书根据ITU-T最新标准和国内外最新技术进展，系统介绍了海底光缆通信系统的基本理论、最新技术、传输终端和中继设备。本书共分9章，内容包括海底光缆通信系统关键技术、光中继/无中继系统最新技术和设备进展，...

电子电路计算机辅助分析与辅助设计 【工业技术】

普通高等教育十二五规划教材 UML系统建模及系统分析与设计 【工业技术】

本书结合统一建模语言UML2.0和软件开发项目案例，重点阐述以面向对象系统分析和设计方法为主线的软件工程领域关键技术，并介绍了模型驱动开发、基于复用的开发等相关最新技术。全书共分9章，第1章为软件开发方法...

人工神经网络理论、设计及应用 人工神经细胞、人工神经网络和人工神经系统 【工业技术】

C语言程序设计项目教程 项目驱动下的工资管理系统开发及应用 【工业技术】

坝与水电站的施工设计 1 施工总平面图及主要生产系统与施工进度 【工业技术】