大约有469,181项符合查询结果项。(搜索耗时:0.7549秒)
为您推荐: 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
09考研形式与政策全集暨相关分析题预测 精萃版
徐之明主编2008 年出版228 页ISBN:9787502242596本书为了帮助考生掌握2009年政治理论考试大纲规定的“形势与政策”的内容,特编写此书。本书共有五大篇:“政策篇”对应大纲的(一),“形势篇”对应大纲的(二),“专题篇”对应大纲的(三)。“测试篇”按照三大......
-
-
视觉艺术心理 美术形式的视觉效应与心理分析
王令中著2005 年出版228 页ISBN:7102034385本书为作者二十余年美术教学的经验总结。书中针对美术设计、创作与理论中亟待解决的问题,从视觉心理分析切入,对美术表现形式和成因进行了逐序深入分析,并附以大量的图片,具有很好的思辩性、实验性和直观性。...
-
量子保密通信协议的设计与分析
温巧燕,郭奋卓,朱甫臣著2009 年出版293 页ISBN:9787030248374由于在理论上具有无条件安全性,量子保密通信已成为国内外物理学和信息科学领域研究的重要课题。本书以作者及其课题组多年的研究成果为基础,结合国内外量子保密通信领域的一些开创性工作,系统论述了量子保密通...
-
基于秘密分享的信息安全协议
刘忆宁著2015 年出版94 页ISBN:9787560636986为了保障数据的安全性和可靠性,提高信息系统的效率,信息安全协议相关的研究得到了前所未有的重视,这既是机遇又是挑战。本书研究的安全协议包括:安全群组通信、微支付协议、电子彩票协议、互联网彩票协议、电子...
-
-
有限元分析的数学建模、校核与验证
(美)萨伯,(美)巴布斯卡著2013 年出版259 页ISBN:9787516503607本书是美国著名力学和数学家Barna Szabó教授和Ivo Babu?ka教授的经典之作。书中重点介绍了有限元模型的建立、验证与校核,尤其是详细介绍了p型有限元的基本理论,p型、h型以及hp型有限元的误差估计和收敛性问...
-
化学分析方法验证程序及应用实例
周宇艳,周明辉主编2015 年出版204 页ISBN:9787308146760验证是建立分析方法过程中的重要一环,目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况,给出了方法具体性能参数的验证程序,并基于作者丰富的标准制定经验,列举实...
-
-
