大约有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验证是建立分析方法过程中的重要一环，目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况，给出了方法具体性能参数的验证程序，并基于作者丰富的标准制定经验，列举实...
-
-
