| 暂存书架(0) | 登录

检索到 12 条 题名=安全协议 的结果    

 


所有图书 可借图书

  1. 中文图书1.安全协议实施安全性自动化分析与验证 TP393.08/1743/ 1

    馆藏复本:2
    可借复本:2
    孟博, 王德军著
    科学出版社 2019
    (0) 馆藏

  2. 中文图书2.安全协议形式化分析与验证 TP393.08/9082

    馆藏复本:2
    可借复本:2
    肖美华著
    科学出版社 2019
    (0) 馆藏

  3. 中文图书3.安全协议实施自动化生成与验证 TP393.08/1743

    馆藏复本:2
    可借复本:1
    孟博, 王德军著
    科学出版社 2016
    (0) 馆藏

  4. 中文图书4.安全协议设计与分析 TP393.08/1201

    馆藏复本:2
    可借复本:2
    张文政 ... [等] 编著
    国防工业出版社 2015
    (0) 馆藏

  5. 中文图书5.安全协议模型与设计 TP393.08/0212/ 2

    馆藏复本:2
    可借复本:1
    刘天华, 朱宏峰著
    科学出版社 2012
    (0) 馆藏

  6. 中文图书6.安全协议理论与方法 TP393.08/4421

    馆藏复本:5
    可借复本:4
    范红, 冯登国编著
    科学出版社 2003
    (0) 馆藏

  7. 中文图书7.安全协议:理论与实践 TP393.08/3716/ 1

    馆藏复本:3
    可借复本:2
    冯登国著
    清华大学出版社 2011
    (0) 馆藏

  8. 中文图书8.安全协议原理与验证 TP393.08/1018

    馆藏复本:2
    可借复本:1
    王聪 ... [等] 编著
    北京邮电大学出版社 2011
    (0) 馆藏

  9. 中文图书9.安全协议 TP393.08/5514/ 1

    馆藏复本:3
    可借复本:2
    曹天杰, 张永平, 汪楚娇编著
    北京邮电大学出版社 2009
    (0) 馆藏

  10. 中文图书10.安全协议 TP393.08/7743

    馆藏复本:5
    可借复本:4
    卿斯汉编著
    清华大学出版社 2005
    (0) 馆藏

  11. 中文图书11.安全协议的建模与分析:CSP方式 TN915.04/7410

    馆藏复本:5
    可借复本:4
    Peter Ryan ... [等] 著
    机械工业出版社 2005
    (0) 馆藏

  12. 中文图书12.安全协议分析与设计 TP393.08/1788

    馆藏复本:3
    可借复本:2
    卫剑钒, 陈钟编著
    人民邮电出版社 2010
    (0) 馆藏


返回顶部