网络安全协议的形式化分析与验证 【工业技术】

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

水利水电工程安全员培训教材 【工业技术】

本书系统介绍了水利水电工程安全技术管理及安全管理人员工作时必备的基础知识。

大电网安全性评估的系统复杂性理论 【工业技术】

本报告主要介绍复杂性理论及其在大电网安全分析领域的应用，内容分为九章。

国际有机农业标准汇编 【农业科学】

本书包括：欧盟有机农业标准汇编；美国有机农业标准汇编和日本有机农业标准及修订条例。

剑桥标准英语教程 3 学生用书 【其他书籍】

MichaelMcCarthy

学生公共场所安全知识 【环境安全】

本书主要内容包括：学校要加强管理，家长要注重教育、中小学生防暴力六大理念、平时远离暴力，养成良好的生活习惯、不要模仿影视片中的危险动作、教师不得体罚学生、远离家庭暴力，不让心灵受伤、校园内抢劫案件的...

网络安全原理与技术 第2版 【工业技术】

本书主要介绍了一系列安全技术和用于保护计算机网络的安全协议、安全策略。主要包括两个方面的内容：一方面是基本的术语、概念、方法和技术的介绍；另一方面是一些典型的安全协议标准和技术标准的介绍。...

新标准日语听力教程初级 1 【语言文字】

地震标准汇编2009 第1册 【天文地球】

地震标准汇编2009 第2册 【天文地球】