大约有469,181项符合查询结果项。(搜索耗时:0.5187秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
VPN及安全验证技术
李志杰主编;李久仲,李兆伦,所辉等编著2014 年出版209 页ISBN:9787121232657本书共分五单元。第一单元介绍VPN基础知识,第二单元介绍windows服务器中的VPN技术及应用,第三单元介绍linux服务器中的VPN技术及应用,第四单元介绍路由器中的VPN技术及应用,第五单元介绍VPN专用设备的VPN技术及...
-
句式语义的形式分析与计算
吴平著2007 年出版216 页ISBN:9787561918180本书运用形式语言学的理论对汉语句式做出专门的分析和研究,并且紧密结合汉语的特点提出语义分析过程中所需遵循的语义类的重设原则和逻辑谓词原则。本书进一步尝试把对句式所做的形式描写提升到面向计算机语...
-
词语与世界:社会学分析形式的探索
(英)迈克尔·马尔凯著2007 年出版342 页ISBN:7100050790本书主要研究探讨科学词语以及科学解释的问题。作为书中探讨的重点,作者较深入地探讨了科学中的重点和创新问题。
-
-
Visual C++网络通信协议分析与应用实现
汪晓平,钟军等编著2003 年出版603 页ISBN:7115110050本书介绍了如何利用Visual C++ 6.0开发网络通信应用程序的方法,同时主要对目前流行的FTP、内容HTTP、 E-mail、 Telnet、ICMP、网络监控、 Modem串口通信编程、拨号网络编程、语音电话等 Internet上使用的协...
-
热分析应用手册 热分析验证
(瑞士)马库斯·舒伯内尔(MARKUSSCHUBNELL)著;唐远旺译2018 年出版324 页ISBN:9787566914330本书是热分析应用手册系列书之一,理论与实践结合的非常好,对分析实验的实际操作起着指导作用。本书的第一部分从总体上阐述了计算系统的验证,第二部分阐述了方法开发和验证的议题。本书适合于对验证理论及法规...
-
-
-
转基因食品食用安全性和营养质量评价及验证
邓平建主编2003 年出版293 页ISBN:7117056061本书介绍了转基因食品这一新技术,包括转基因食品的标准及检验技术,转基因食品的特殊卫生问题、食用安全性和营养质量问题,转基因食品的营养质量评价及验证技术方法。读者对象为科研、教学人员及学生。...
-
安全化与国际合作形式选择
汤蓓著2014 年出版210 页ISBN:9787208122116“安全化”研究途径采纳了建构主义观念,指出,“安全”是社会建构的结果,“安全化”就是指认威胁并说服听众接受的过程。本书稿认为,安全化的不同层次将影响国家在多边合作与双边合作之间进行选择。本书稿就美国...
