大约有20,000项符合查询结果项。(搜索耗时:0.0241秒)
为您推荐: 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
计算机网络安全 协议、技术与应用
黄河编著2008 年出版389 页ISBN:9787302180579本书以TCP/IP网络安全协议为核心,全面、系统地论述计算机网络安全的协议、技术与应用等问题。
-
-
-
电子商务网络协议的形式化分析理论与应用
谢晓尧著2008 年出版146 页ISBN:7030200322本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括:电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
-
-
-
-
公路交通安全设施系统设计理论与方法
王建军,汤春文,韩子东等编著2008 年出版300 页ISBN:9787030224675本书全面系统地介绍了各类交通安全设施的设计内容、方法及应用状况,并对国内外交通安全设施领域新产品进行了详细的介绍。
-
食品安全预警理论、方法与应用
唐晓纯著2008 年出版137 页ISBN:9787501964024食品安全预警的实践需要理论的指导和科学的研究方法,本书以建立理论体系为主,重点分析了逻辑预警理论、系统科学预警理论、风险分析预警理论、信号控制理论。以及适用于食品安全预警评价、预测的常用方法,主要...
-
概率论与数理统计学习辅导与习题全解 华中科大·三版
万建平,刘次华著2008 年出版416 页ISBN:9787040248623本书是与华中科技大学数学系编写的《概率论与数理统计》(第三版)配套的辅导书。全书紧扣教材,共分九章:随机事件和概率,随机变量及分布,多维随机变量及分布,数字特征,极限定理,数理统计的基本概念,参数估计......
