CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：18/0  |  提交时间：2012/06/13
基于最终用户开发的表格数据分析关键技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：8/0  |  提交时间：2009/06/12
安全操作系统动态策略支持的关键技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
武延军
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17
软件测试及其在中国电信记费系统上的应用 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000
刘国梁
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
组件语义约束的动态模型检测方法和技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998
倪彬
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17
需求工程研究及用户主导需求分析平台MEMOIR的构造 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1997
谭海棠
收藏  |  浏览/下载：3/0  |  提交时间：2011/03/17

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