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

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

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

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

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

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

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

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

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

电力系统分析 【工业技术】

本书为教育部职业教育与成人教育司推荐教材。本书主要体现高职教育特色，内容全面，适应多种专业的使用。本书共分十章，主要内容包括电力系统的基本知识，电力系统的等值电路及潮流计算，电力系统有功功率平衡及频率...

工程硕士学位论文 基于广西通用航空发展的空域管理分析 【经济】

国内外中药市场分析 【医药卫生】

本书第一版自2003年出版以来，受到了社会的广泛好评，并获得中华中医药学会科学技术奖二等奖。本书通过对近40多个国家和地区天然植物药的现状、需求和发展趋势等分析，提出了中药走向国际的方法、策略等。本书适...

证券投资分析 【经济】

本书以介绍投资理财中最重要、普及范围广的股票投资为主，重点介绍了股票投资的相关知识和股票投资的分析方法。介绍了股票投资的基本知识：证券与证券市场、股票的种类、价值与价格、股票价格指数、股票的收益...

计算机数据分析技术与应用 【工业技术】

本书通过对计算机数据分析技术的简要介绍，结合实际生活中一些典型的计算机犯罪案例，对计算机分析技术在计算机司法调查分析过程中的应用做了一些简要的阐述。...