孟博，王德军著2016 年出版318 页ISBN：9787030508676
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
高赟，刘骏跃，黄向慧编著（西安文理学院机电系）2007 年出版302 页ISBN：9787560619064
本书介绍了电路的基本概念和定律、电路的等效变换、电路的基本分析方法、电容及电感元件、一阶及二阶电路分析等内容。
Visul Basic 2005与自动化系统监控 串并行控制
陈立元，范逸之，廖锦棋编著2008 年出版458 页ISBN：9787302172734
本书使用Visual Basic 2005中的串行通信控件SerialPort，通过实例循序渐进地介绍了自动化的基础——串并行通信，从简单的串行通信概念、实验到复杂的仪器控制，本书都提供了完整的Visual Basic 2005范例。本书可...
王士政编著2008 年出版399 页ISBN：7508364929
本书为普通高等教育“十一五”规划教材。全书共9章，主要内容包括电力系统控制及其自动化概论、SCADA/EMS系统、数据通信与通信规约、电力系统频率控制、电力系统电压控制、电力系统安全控制、电力系统运行费...
黄凯卿编著1991 年出版475 页ISBN：7307029197
图书发行自动化不仅是我国高等学校编辑出版专业教育中的一门重要专业教材，而且也适应21世纪我国出版发行界现实需求的一本应用著作。本书包括四个方面的内容：一、图书发行自动化的概念、内容及开展应用的必要...
