中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
混成CSP的概率与随机扩充 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2015
彭宇
  |  收藏  |  浏览/下载：17/0  |  提交时间：2015/06/26
基于可信芯片的平台身份证明方案研究 期刊论文  OAI收割
通信学报, 2014, 卷号: 35, 期号: 8, 页码: 95-106
张倩颖; 冯登国; 赵世军
  |  收藏  |  浏览/下载：36/0  |  提交时间：2014/12/16
Radl 形式规格说明相对正确性研究 期刊论文  OAI收割
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
  |  收藏  |  浏览/下载：23/0  |  提交时间：2013/09/17
Radl形式规格说明相对正确性研究 期刊论文  OAI收割
软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云
  |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17
基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文  OAI收割
计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶
  |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17
动态远程证明协议及其形式化分析 期刊论文  OAI收割
计算机工程与设计, 2012, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远; 赵勇; 王婷
  |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17
关于可满足性问题的一些研究及其在模型检测中的应用 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2010
陈伟
  |  收藏  |  浏览/下载：19/0  |  提交时间：2010/06/04
语义Web中的自动推理和主动规则终止性分析 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐贵红
  |  收藏  |  浏览/下载：29/0  |  提交时间：2011/03/17
多Agent VSK-AF逻辑 期刊论文  OAI收割
计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1
作者:  孙瑜;  夏幼明;  李志平
  |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04
UNITY与典型程序设计模型的比较 期刊论文  OAI收割
计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104
肖美华; 薛锦云; 化志章
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/29