密码协议分析的逻辑方法

对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...

盆地分析的定量方法 第2卷

本书包括两部分内容：第一部分阐述了一套可以在一维空间框架下以一种精工细活方式完成的盆地分析的相关问题和方法；第二部分则论述了明显具有二维特征的史例和一些应用。...

工业系统中人的可靠性分析 原理、方法与应用

本书是介绍工业系统中人的可靠性分析原理、方法与应用。

水文风险分析的理论与方法

本书根据现代水利工程设计和管理的要求，简述了水文风险研究的对象与任务，风险分类及其影响因素，以及风险研究的主要方法。并系统介绍了水文风险分析的概率统计基础，重点对风险分析中的承受机模拟方法，水文风险分...

宪法解释方法的变革 宪法解释的法理分析

本书是一部宪法解释方法的专著，由宪法解释方法引论、特质、传统释宪方法的困境与出路、现代释宪实践方法探求、传统与现代释宪方法的区别与成因、中国释宪实践评析六章及附论组成。对宪法解释方法进行了深入...

面向方面的分析与设计 Theme方法 英文版

本书是面向方面的软件开发设计与实现。

缩小中国城乡居民收入差距的制度研究 基于制度系统方法分析

宏观经济分析的方法论基础

本书从方法论层面对宏观经济理论发展进行了探讨，切入点是在对一般经济学方法论概述的基础上，侧重具体剖析宏观经济分析体系中的若干方法论特征。...

共因失效系统的可靠性分析方法

本书主要介绍了存在共同失效时，基于可靠性框图方法和基于故障树方法的系统可靠性分析方法，并且对系统可用性分析方法进行了详细讨论等内容。...

数学分析的理论、方法与技巧

本书以一元函数微积分的基本内容为素材，从众多的优秀教材或其他图书中精选了典型习题，也精选了一些院校的研究生入学试题，着重分析解题思路，探究解题规律，总结解题方法，是理工科学生学习数学分析的优秀参考书。...