CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
函数式语言LFC的Supercompilation技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
郑丽丽
收藏  |  浏览/下载：18/0  |  提交时间：2010/07/14
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：27/0  |  提交时间：2010/06/08
一种面向MVC Web框架的Portlet桥接设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
樊伟
收藏  |  浏览/下载：12/0  |  提交时间：2010/06/08
需求变更影响分析模型及相关技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
李引
收藏  |  浏览/下载：17/0  |  提交时间：2010/02/11
基于文件规范描述的文件模糊测试 期刊论文
计算机工程, 2010, 卷号: 36, 期号: 16, 页码: 52-53,59
沈亚楠; 赵荣彩; 王小芹; 任华; 鲁海军; 张新宇; 李鹏飞
收藏  |  浏览/下载：13/0  |  提交时间：2011/05/23
基于规范生成的文件模糊测试 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 16, 页码: 3591-3594
沈亚楠; 赵荣彩; 王小芹; 任华; 张新宇; 鲁海军; 李鹏飞
收藏  |  浏览/下载：13/0  |  提交时间：2011/05/23
授权策略集成关键技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
王雅哲
收藏  |  浏览/下载：13/0  |  提交时间：2010/01/21
网驰平台统一部署框架的设计与实现 学位论文
硕士, 中科院软件所5号楼6层会议室: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：8/0  |  提交时间：2009/06/11
一种XACML规则冲突及冗余分析方法 期刊论文
计算机学报, 2009, 卷号: 32, 期号: 3, 页码: 353-362
王雅哲; 冯登国
收藏  |  浏览/下载：13/0  |  提交时间：2010/05/27
基于安全策略模型的安全功能测试用例生成方法 期刊论文
计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
收藏  |  浏览/下载：7/0  |  提交时间：2010/05/27

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