当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0175秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
-
-
-
茶叶质量与安全检测技术及分析方法
赵杰文，陈金胜编著2001 年出版255 页ISBN：7501979715本书共分10章：第一章，绪论；第二章，茶叶质量及感官审评方法；第三章，色谱检测技术及方法；第四章，色谱-质谱联用检测技术及方法；第五章，紫外-可见光和原子吸收光谱检测技术及方法；第六章，近红外光谱检测技术......
-
多协议标签交换技术与应用
（美）Bruce Davie，Yakov Rekhter著；罗志祥等译2001 年出版189 页ISBN：711108666X本书内容包括：算法和IP控制协议的使用、Ipsilon公司IP交换、Cisco公司的标志交换、MPLS的核心协议(LDP)等。
-
WTO协议与争端案例
蒋荣斌，邓志能编著2001 年出版170 页ISBN：7536339399本书以通俗的语言对WTO协议的概况、WTO货物贸易协议、服务贸易协议、与贸易相关的知识产权协议及诸边贸易协议进行了简明扼要地介绍，并结合最新案例重点分析了各协议中容易导致争端的条款。 ...
-
-
-
Internet协议概念与实践
施威铭研究室著2001 年出版555 页ISBN：7302049939编辑推荐：本书从使用者的角度，通过大量而详尽的图解，系统地介绍了Internet协议概念与实践，内容包括：以太网介绍、PPP、Internet Protocol（IP）、IP地址、Address Resolution Protocol（ARP）、ICMP、IP路由、静态与动态...