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

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

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

我国大豆生产技术及应用的经济分析 【经济】

本书从经，从理论上明确了大豆生产技术的经济特征，分别对大豆生产技术需求行为、供给行为、采用行为和技术进步、技术效率等进行经济分析。...

合同违约责任及相关制度的经济分析 【政治法律】

本书对社会经济生活中合同违约的责任及其与其他有关制度的关系和联系进行探讨和经济学分析，阐述合同双方当事人的权利与义务，处理好权利人在履行合同中的关系。...

大学教育知识的微观政治哲学分析 【文化科学教育体育】

本书在清晰的知识社会学理论发展背景中，寻找并建构起了微观知识政治哲学的教育与课程研究方法论，在已有“知识-权力”理论基础上，深入到教育知识的微观权力结构与控制机制层面，提炼出了独特的逻辑分析框架。...

药品价格管制的经济分析 中国医药市场的成长之谜 【经济】

本书应用信息经济学、管制经济学等经济理论，重点研究药品价格管制的理论、发达国家药品价格管制的经验，对中国药品管制的现状进行全面的实证研究，并提出政策建议。...

大陆观光客来台对两岸关系影响的政治经济分析 【经济】

量刑偏差的心理分析 量刑规范化的心理基础 【政治法律】

量刑偏差是一个亟待解决的理论特别是司法实务问题，量刑偏差的产生既有客观外在原因，也有法官主观内在原因。本文从量刑机制的平衡入手，对法官个体心理因素对量刑偏差的形成作了较为详细的归类分析，形成了比较系...

诉讼论证 诉讼博弈的逻辑分析 【政治法律】

本书在分析现有框架不足的基础上从论证博弈的角度发展了一种基于广义非形式逻辑的诉讼论证博弈框架。本书选题新颖、内容翔实、论据充分、论证有力，采用历史分析方法、比较分析方法、案例分析方法、跨学科分...

教师教育研究——基于甘肃省教师教育现状的分析 【其他书籍】