大约有469,181项符合查询结果项。(搜索耗时:0.5676秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
-
-
-
数学与现代科学技术丛书 可证明安全算法与协议
张华,温巧燕,金正平著2012 年出版522 页ISBN:9787030335401本书以作者及其课题组多年的研究成果为主体,结合国内外学者在可证明安全算法与协议方面的代表性成果,系统介绍了可证明安全性理论和技术,主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础(第一部...
-
全球陆表特征参量 GLASS 产品 算法、验证与分析
梁顺林,张晓通,肖志旨等著2014 年出版204 页ISBN:9787040403299本书在简述全球陆表特征参量产品(简称“GLASS产品”)生成与应用研究的基础上,分章节着重介绍了叶面积指数、地表短波反照率、宽波段发射率、短波辐射和光合有效辐射5种GLASS产品,分别从产品生成的项目背景、...
-
-
银行反对银行 巴塞尔新资本协议与中国信用风险分析
张海宁著2004 年出版331 页ISBN:7302089094巴塞尔新资本协议所依据的风险管理原则对银行业管理理念、模式和机制有深远影响。本书以分析新资本协议逻辑结构和作用机理入手,介绍了商业银行内部评级运作的新发展。...
-
操作风险 新巴塞尔协议资本要求 模型与分析指南
(美)彻诺拜,(美)维特夫,(美)法伯兹著2010 年出版200 页ISBN:9787811229004本书总结了所有基于真实损失数据的重要实证研究(许多还未曾在期刊上发表),并且通过对其相关理论背景的讨论来对这些研究进行进一步的补充说明,目的就是希望能够给读者提供一个套全面的、最新的有关操作风险建模...
-
-
