大约有10,000项符合查询结果项。（搜索耗时：0.0215秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
网络协议的形式化分析与设计
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
-
系统测试性设计分析与验证
田仲，石君友编著2003 年出版415 页ISBN：781077297X本书全面介绍了测试性设计分析与验证的有关理论和方法，内容包括：测试性和诊断概念、度量参数和指标、测试性要求和诊断方案、测试点与诊断策略、指标分配和预计以及测试性设计和验证等技术及方法。...
-
-
-
Visual Basic网络通信协议分析与应用实现
汪晓平，钟军等编著2003 年出版668 页ISBN：7115110042本书主要针对目前流行的FTP、HTTP、E-mail、Telnet、ICMP、Modem串口通信编程、拨号网络编程等内容进行详细的讲解，并结合大量的实例使读者能够深入地了解各种网络应用程序的开发技巧。除了深入剖析各种网络...
-
Visual C++网络通信协议分析与应用实现
汪晓平，钟军等编著2003 年出版603 页ISBN：7115110050本书介绍了如何利用Visual C++ 6.0开发网络通信应用程序的方法，同时主要对目前流行的FTP、内容HTTP、 E-mail、 Telnet、ICMP、网络监控、 Modem串口通信编程、拨号网络编程、语音电话等 Internet上使用的协...
-
转基因食品食用安全性和营养质量评价及验证
邓平建主编2003 年出版293 页ISBN：7117056061本书介绍了转基因食品这一新技术，包括转基因食品的标准及检验技术，转基因食品的特殊卫生问题、食用安全性和营养质量问题，转基因食品的营养质量评价及验证技术方法。读者对象为科研、教学人员及学生。...
-
资产定价理论：逻辑分析和经验验证
刘晓峰著2003 年出版193 页ISBN：7505837621资产定价理论是金融经济学研究的核心内容之一。本书在广度上对各类证券资产定价理论和方法进行了梳理，对其发展历史进行了回顾，并对其各自特点分析框架及发展前景进行了比较。...
-
食品安全性与分析检测
许牡丹，毛跟年编著2003 年出版315 页ISBN：7502544461本书介绍了食品安全性的概念、研究方法及评价程序，阐述了各种危害食品安全的因素及其检测方法，并提供了相关的法律与法规。
-
煤矿安全数学分析与预测
秦书玉等编著2003 年出版321 页ISBN：7502022767本书简明地介绍了灰色关联和神经网络分析等有关基础知识，并运用数学方法对煤矿井下煤炭自燃、瓦斯涌出、煤与瓦斯突出、矿井涌水、顶板冒顶等灾害事故进行分析和预测，对矿井通风系统进行评价。...