中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR 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