当前位置:首页 > 名称

大约有20,000项符合查询结果项。(搜索耗时:0.0182秒)

为您推荐: 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究

  • 网络安全协议形式化分析验证

    张爱新,李建华著2010 年出版214 页ISBN:9787111297260

    本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状;在此基础上详细地叙述了网络安全协议

  • 安全协议分析设计

    卫剑钒,陈钟编著2010 年出版156 页ISBN:9787115220028

    本书系统地介绍了安全协议(主要是认证协议和密钥建立协议)的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材,也可作为相关专业的研究人员和工程技...

  • 电子商务交易协议理论验证方法

    王茜编著2010 年出版181 页ISBN:9787306035004

    本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述,阐述了电子商务交易协议的分析验证方法。...

  • 日本民俗学方法序说 柳田民俗学

    (日)福田亚细男著2010 年出版257 页ISBN:9787507736120

    本书为日本现代民俗学领军人物福田亚细男教授所著《日本民俗学方法序説:柳田男と民俗学》的中文译本。他在柳田男的研究基础上,根据社会现实发展的需要,从大量新发现的民间资料和严密的学术论证出发,从学术...

  • 食品安全实验 检测技术方法

    陈福生主编2010 年出版406 页ISBN:9787122093479

    本书介绍了食品安全的理化检验、食品安全的微生物化学检验等。

  • 班组安全管理经验方法 “白周班组安全管理法”学习读本

    华安波瑞达编著;贾兴主编2010 年出版150 页ISBN:9787511102430

    本书以班组安全管理为主线,内容涵盖班组安全管理的重要问题,针对班组安全管理中一些较为关键的问题展开论述,视角独特,第一次引进人性化管理的理念,另外对班组日常安全管理工作难点提出解决问题的办法。是一本帮...

  • 纳米毒理学安全性研究方法

    张智勇等编著2010 年出版201 页ISBN:9787030262004

    本书从纳米毒理学安全性研究中的材料表征技术、前处理方法、生物样品中纳米材料的检测技术、动物实验、细胞实验和分子水平的研究几个方面对现有的资料进行总结,探讨纳米材料常规材料毒理学研究方法的差...

  • 网络TCP/IP协议

    武奇生主编2010 年出版324 页ISBN:9787560623849

    本书内容涵盖了计算机网络和TCP/IP协议的基本概念、原理、技术、应用以及下一代网络的核心IPv6技术,反映了计算机网络技术的最新发展情况。...

  • 投资合同协议内部控制

    会计学会编2010 年出版230 页ISBN:9787806849385

    本书由投资内部控制操作指引典型案例研究和合同协议内部控制操作指引典型案例研究两个财政部重点会计科研课题组成,分别将投资、合同协议企业内部控制结合起来研究,丰富了现有研究理论成果,并分别...

  • 电机学习题解答 科大版电机学第3版配套

    熊永前著2010 年出版179 页ISBN:9787560959900

    本书是《电机学》(第三版)的配套学习解答,共6章,内容包括导论、直流电机、变压器、交流电机绕组的基本理论、异步电机和同步电机。每章分要点总结和习题解答两部分。...

学科分类
返回顶部