已选(0)清除
条数/页: 排序方式:
|
| 面向知识库问答的语义表示与计算关键技术研究 学位论文 中国科学院自动化研究所: 中国科学院自动化研究所, 2018 作者: 郝彦超![](/image/person.jpg)
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:131/0  |  提交时间:2019/01/15
|
| 基于信任扩展的可信云执行环境 期刊论文 华中科技大学学报(自然科学版), 2016, 卷号: 44, 期号: 3 作者: 陈璐; 向騻; 赵波; 纪祥敏
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2019/12/05
|
| 协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法 期刊论文 小型微型计算机系统, 2013, 期号: 2013年12期, 页码: 2794-2799 作者: 郭显; 冯涛; 袁占亭
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:0/0  |  提交时间:2019/11/13
|
| 编码感知多跳无线网络安全路由协议 期刊论文 通信学报, 2012, 期号: 2012年06期, 页码: 133-142 作者: 郭显; 冯涛; 袁占亭
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2019/11/13
|
| 指代消解的主要方法及其机制 期刊论文 2012 张晓君
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2016/05/17
|
| 当代语义研究热点和动态谓词逻辑的解决方案* 期刊论文 外语学刊, 2012, 卷号: 第2期, 页码: 23-26 作者: 彭家法
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/04/17
|
| 面向空间数据主动更新的地理事件模型研究 期刊论文 北京大学学报 自然科学版, 2011 安晓亚; 李颖; 孙群; 严薇
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/13
|
| 时间相关密码协议逻辑及其形式化语义 期刊论文 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/10/10
|
| 移动Ad Hoc网络安全路由协议设计与分析技术研究 学位论文 2011 作者: 郭显
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2020/11/05
|
| 面向字处理的多语言计算模型的研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2007 贾彦民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/03/17
|