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

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

古德哈特货币经济学文集 上卷 货币分析、政策与控制机制 【其他书籍】

从管约理论到最简方案 句法理论与句子分析 英文 【其他书籍】

歌曲分析与创作 【艺术】

本书分为两大部分，第一部分是单声部歌曲写作，以独唱和齐唱歌曲为主，内容包括：歌曲的基本结构。旋律构成的基本要素。歌曲音乐形象的塑造。歌曲音乐主题的发展手法。歌曲的高潮。前奏、间奏及尾奏。歌曲体裁的识...

仿真实验设计与分析 【工业技术】

本书作者有40多年的研究经验，是仿真实验设计方法领域的先驱。本书不仅是仿真实验设计与分析领域的入门教材，亦是一本仿真实验工程技术人员的工作指南。该书注重理论方法与实际应用的有机结合，旁征博引了400余...

中国消费品市场监测与分析报告 2010 【经济】

本书稿是中国消费品市场、产业发展、企业对外直接投资、流通产业经济发展和企业社会责任对外外贸可持续性影响方面最前沿的研究成果。

物流系统设计与分析 【经济】

本书比较系统、全面地阐述物流系统概念、内在构成，以及其分析和规划的重要决策过程。全书共分九章，主要内容包括物流及物流系统、物流系统设计与分析的基本理论、社会物流系统设计、物流网络规划与设计、物流...

物流案例分析与实践 【经济】

本书从供应链管理入手，在物流系统的分析、规划、控制、评价、预测、决策、物流信息管理、物流运输、物流配送、仓储和库存管理等方面进行了案例选择，针对我国高校开设物流专业的行业特点，以及具有不同物流特征...

现代结构理论分析与简化计算 【工业技术】

本书汇集作者各时期的代表作，分为：钢构、高层结构、超高层结构、薄壳结构、空间结构、拉索结构、杂交结构、地基基础与高层结构的相互作用、结构控制、结构优化、高耸及膜结构等11个主题。书中内容涉及静力与...

国际能源与电力价格分析报告 2010 【经济】

本报告对2004～2009年的国际电力、煤炭、石油、天然气等能源价格水平及变动趋势进行了比较，对电价与其他能源价格比价进行了对比，对能源价格之间的相关性进行了探讨，对我国2010年的能源价格趋势进行了分析。...