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

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

不确定条件下的决策方法研究 【社会科学】

本书为“山东省社会科学规划研究项目文丛”之一种，属研究性专著。内容共分为9章，旨在利用数学中“距离”“范数”等概念以及笛卡儿坐标建立一种新的不确定条件下的决策方法。通过对决策认识规律的数理逻辑分...

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

数字高程模型教程 【天文地球】

DEM是地理数据库中的核心数据，是进行地形分析的基础，被广泛应用于测绘、遥感以及资源、环境、城市规划、农林、灾害、水电工程及军事等领域。本教材是作者在从事DEM基本理论与方法的科学研究与教学实践的基础...

真是一个好创意！ 创造卓越创意的思维方法 【哲学宗教】

本书以独特的视角，以打破常规的方式引领读者摆脱思维的束缚，通过有针对性的练习实现对自身创造力的开发。本书作者切克·汤普森曾在其第一版作品中以前所未有的方式成功地使很多人实现了创造力的提升。本书经...

例说识读PLC梯形图的方法与技巧 【工业技术】

本书以西门子S7-200系列PLC为例，从识图的角度出发，以常用的基本的PLC梯形图为实例，详细地介绍以定时器、计数器、移位、循环移位、移位寄存器、顺序和循环控制、跳转子程序指令为主线或以它们的组合为主线编写...

新课案之课例解读数学 理念与智慧的博弈 【文化科学教育体育】

本书旨在从多个方面展示新课程改革以来的成就与问题。它以课堂案例解读的研究方式呈现，希望能够促进教师实现专业成长。

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

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

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

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

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

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