中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共12条,第1-10条 帮助

条数/页: 排序方式:
并发系统差分隐私的形式化验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2014
许丽丽
  |  收藏  |  浏览/下载:20/0  |  提交时间:2015/01/16
语义Web中的自动推理和主动规则终止性分析 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐贵红
  |  收藏  |  浏览/下载:30/0  |  提交时间:2011/03/17
基于DSL的装备保障领域建模 期刊论文  OAI收割
计算机工程, 2008, 卷号: 34, 期号: 2, 页码: 66-68,71
王金全; 郑宇军; 王侃
收藏  |  浏览/下载:113/6  |  提交时间:2011/06/10
FAPKC签名和加密混合使用的安全性分析 期刊论文  OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西; 姚刚
  |  收藏  |  浏览/下载:14/0  |  提交时间:2011/07/28
分解弱可逆有限自动机的两个结果 期刊论文  OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
  |  收藏  |  浏览/下载:19/0  |  提交时间:2011/07/28
基于GIS的三峡库区滑坡坡形研究 期刊论文  OAI收割
自然灾害学报, 2005, 卷号: 14, 期号: 3, 页码: 34-37
作者:  
乔建平
收藏  |  浏览/下载:41/0  |  提交时间:2010/07/19
从文本中获取植物知识方法的研究 期刊论文  OAI收割
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 6
作者:  
罗贝;  吴洁;  曹存根;  邵志清
  |  收藏  |  浏览/下载:2/0  |  提交时间:2023/12/04
分组密码的分析与设计 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
张文涛
收藏  |  浏览/下载:31/0  |  提交时间:2011/03/17
一类构造性几何不等式的机器证明 期刊论文  OAI收割
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者:  
杨路;  夏时洪
  |  收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
宽带接入网络拓扑搜索算法研究 期刊论文  OAI收割
计算机工程与设计, 2002, 卷号: 23, 期号: 11, 页码: 82-85
孙波; 吴继峰; 卫东华
  |  收藏  |  浏览/下载:16/0  |  提交时间:2011/07/29