当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0177秒）
为您推荐： 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
-
网络协议的形式化分析与设计
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
-
-
海洋平台结构安全评定 理论、方法与应用
欧进萍，段忠东等著2003 年出版249 页ISBN：7030113845本书系统地介绍了海洋平台结构安全评定的理论、方法和应用。本书特点是学术思想的创新性、理论与方法的系统性，知识的综合性等方面较强。...
-
-
-
船舶交通及操纵安全系统评价模型与方法
方祥麟等著2003 年出版351 页ISBN：7563216502全书共12章，主要内容包括：系统评价，船舶交通调查与数据处理，船舶交通模型、模拟、环境评价、综合评价，船舶碰撞危险的评价方法，船舶操纵模拟及其运动数学模型，船舶操纵安全评价，狭水道内船舶操纵安全评价方法......
-
药品不良反应监测技术与安全用药分析评价方法实用手册 上
刘海田主编2003 年出版551 页ISBN：7900361588本书介绍了药物不良反应监测防治与临床合理安全用药概论、治疗药物监测与临床合理用药，抗微生物药物的不良反应及其临床合理安全使用等。...
-
概率论与数理统计学习辅导与习题全解 华中科大·二版
万建平，刘次华2003 年出版401 页ISBN：7040119544全书紧扣教材，共分九章：随机事件和概率，随机变量及分布，多维随机变量及分布，数字特征，极限定理，数理统计的基本概念，参数估计，假设检验，方差分析及回归分析。每章包括下列四个部分：1.基本要求与内容提要 ......
-
学科分类