大约有20,000项符合查询结果项。（搜索耗时：0.0264秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
-
电子商务交易协议理论与验证方法
王茜编著2010 年出版181 页ISBN：9787306035004本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述，阐述了电子商务交易协议的分析验证方法。...
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
操作风险 新巴塞尔协议资本要求 模型与分析指南
（美）彻诺拜，（美）维特夫，（美）法伯兹著2010 年出版200 页ISBN：9787811229004本书总结了所有基于真实损失数据的重要实证研究（许多还未曾在期刊上发表），并且通过对其相关理论背景的讨论来对这些研究进行进一步的补充说明，目的就是希望能够给读者提供一个套全面的、最新的有关操作风险建模...
-
回顾与展望 形式政策专题分析
曹丽丽，王蕾主编2010 年出版316 页ISBN：9787811293227本书是由黑龙江大学宣传部主持和编写的校内使用的两课教材，该教材包括七章、十八节，内容涵盖了今年我国社会发生的各个热点事件，是学生进行思想政治教育的重要教材。...
-
下一代网络通信协议分析
李静林，孙其博，杨放春编著2010 年出版342 页ISBN：9787563522644《融合与开放的下一代网络丛书》系统地描述了作者在国家973计划、国家863计划、国家杰出青年科学基金和国家自然科学基金等项目的研究中，对下一代网络原理的分析和理解以及对课题研究成果的归纳和总结。作为...
-
-
-
煤矿通风安全量化分析与分区安全管理
王俭著2010 年出版319 页ISBN：9787502036911本书主要内容包括：煤矿通风及其逻辑系统，通风网络基础解算，通风分析与图形，矿井通风分析计算，自然通风与火灾通风，煤矿通风安全逻辑系统，矿井通风安全监测数据跟踪分析，通风安全监控与应急预案编制，矿井通风......