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

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

电化学技术在选煤过程中应用的研究 【工业技术】

本书着重阐述了电化学技术在选煤过程中的应用，各章既有基础理论深入浅出的介绍，又有翔实、可靠的数据和清晰的图表说明。

工程硕士学位论文 东北地球低空空域管理研究及运行分析 【航空航天】

环境意识材料与化学品加工 【工业技术】

本书系统介绍了国外在环境意识材料和化学品加工方面的研究方向、发展趋势、方法理论，并进行了总结，为国内开展这方面的研究与开发工作提供了方向，对解决环境意识材料和化学品加工过程中遇到的实际问题有着重要...

环境影响评价案例分析 2010年版 【环境安全】

根据2010年全国统一考试实践和《全国环境影响评价工程师职业资格考试大纲》的要求，环境保护部环境工程评估中心于2006年至2009年先后组织对本书进行了四次修订。2010年初，又对本书进行了第五次修订。本书可作...

中国证券市场价格联动效应分析 【经济】

本书从证券市场中不同证券的价格关系入手，系统研究证券市场价格联动效应，分析股价冲击传导机制的形成机理及其影响，针对中国证券市场开展实证研究，以考察在特定的市场环境、人文因素、制度基础与市场结构条件下...

医学化学实验 【医药卫生】

本教材由三部分组成：第一部分为化学实验基本知识，介绍了化学实验的目的要求和学习方法、化学实验规则及安全知识、化学实验常用仪器和化学实验基本操作；第二部分为实验，按基础性实验--综合性实验--设计性实验三...

油气井生产动态分析 【工业技术】

本书阐述了砂岩油田注水、注聚、砂岩油田稠油热采、纯气藏等四个方面的生产动态分析方法，详细介绍了砂岩油田生产动态分析所涉及的一些相关知识及所需的基础资料、基本分析方法和具体生产分析实例。本书可作...

实用耳鼻咽喉头颈外科解剖学 【医药卫生】

本书为耳鼻咽喉头颈外科解剖学基础方面的参考书。全书分别为耳、鼻、咽、喉、气管与食管、头、颈共七章。就耳、鼻、咽、喉等相关内容始终遵循：所有形态学的描述和见解其最终目的都是要落实到“应用针对性强...

麻醉药理学与生理学手册 第2版 【医药卫生】

本书用于手术室或考试速查。全书共60章，用250幅表格总结了手术室应用的关键知识点和药物剂量，附录有独立的药物索引。