自动化
楼宇自动化常见问题解析
《楼宇自动化常见问题解析》,作者:陈蕾主编 出版社:科学出版社 ISBN:9787030345677。本书以提问+回答的形式介绍了楼宇自动化方面的重要知识点,全书共9章,以智能楼宇的各子系统为主题组织内容,包括绪论、楼宇自动化基础、楼宇通信系统等。
安全协议实施自动化生成与验证
《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇,共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
办公自动化项目教程 : Office 2007版
《办公自动化项目教程 : Office 2007版》,作者:郭洪辉,彭太瑞主编 出版社:科学出版社 ISBN:9787030353696。本书围绕日常办公需要的核心能力来设计教学任务和实操案例,包括Word 2007综合应用、Excel 2007综合应用、批量制作Word文档、Powerpoint 2007综合应用及常用办公设备。
