CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
面向无穷数据的形式模型综述 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09
基于PVS的数据库安全策略形式化分析方法 期刊论文
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
确定型语言的相关研究综述 期刊论文
集成技术, 2013, 期号: 6, 页码: 65-70
陈海明; 陆平
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
基于PVS的数据库安全策略形式化分析方法 会议论文
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
受限正规树文法与基于正则表达式包含判定的类型检查 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
陈雷
收藏  |  浏览/下载：10/0  |  提交时间：2010/01/28
InCoME软件成本估算工具 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 23, 页码: 5015-5018,5047
李效云; 杨达; 叶凯
收藏  |  浏览/下载：2/0  |  提交时间：2011/05/23
基于最终用户开发的表格数据分析关键技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：8/0  |  提交时间：2009/06/12
移动对象数据库模型、查询语言及实时交通流分析 期刊论文
软件学报, 2009, 卷号: 20, 期号: 7, 页码: 1866-1884
丁治明
收藏  |  浏览/下载：10/0  |  提交时间：2010/08/19
基于空值修复的数据库一致性查询方法 期刊论文
计算机应用研究, 2009, 卷号: 26, 期号: 11
黄飞; 刘杰; 叶丹
收藏  |  浏览/下载：9/0  |  提交时间：2010/08/25

©版权所有 ©2017 CSpace - Powered by CSpace