CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
差分和线性分析的代数自动化方法 学位论文
博士, 北京: 中国科学院研究生院, 2014
吴生宝
收藏  |  浏览/下载：43/0  |  提交时间：2014/05/29
基于通用知识的软件设计安全性评估 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 1-6,80
戚荣波; 杜晶; 杨叶
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
对角线稀疏矩阵的SpMV自适应性能优化 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 3, 页码: 648-656
孙相征; 张云泉; 王婷; 李焱; 袁良
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
新标准体系下蒙古文变形显现模型的设计与实现 期刊论文
中文信息学报, 2013, 卷号: 27, 期号: 1, 页码: 108-114
王震; 刘汇丹; 吴健
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17
辅助成本估算系统化调研的自动化方法 期刊论文
计算机工程与设计, 2013, 卷号: 34, 期号: 2, 页码: 490-494
孙悦明; 杨叶; 张文
收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17
一种软件设计安全性评估的自动化辅助方法及实现 学位论文
硕士, 北京: 中国科学院研究生院, 2012
戚荣波
收藏  |  浏览/下载：12/0  |  提交时间：2013/06/19
光学成像效果真实感绘制技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
吴佳泽
收藏  |  浏览/下载：16/0  |  提交时间：2011/06/10
分布式环境下可信使用控制实施方案 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2201-2211
胡浩; 冯登国; 秦宇; 于爱民
收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08
标准模型下通用可组合的口令认证密钥交换协议 期刊论文
软件学报, 2011, 卷号: 22, 期号: 11, 页码: 2820-2832
胡学先; 张振峰; 刘文芬
收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08
基于样本程序的领域开发平台的研究与实践 学位论文
硕士, 北京: 中国科学院研究生院, 2010
袁伟民
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/13

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