CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
并发数据结构可线性化错误的定位研究 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  张振亚
收藏  |  浏览/下载：21/0  |  提交时间：2017/07/08
移动互联网应用隐私泄露问题 学位论文
博士, 北京: 中国科学院研究生院, 2014
程瑶
收藏  |  浏览/下载：18/0  |  提交时间：2015/01/05
Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
基于故障的布尔表达式测试技术综述 期刊论文
计算机科学, 2013, 卷号: 40, 期号: 3, 页码: 16-23,40
孙昌爱; 程庆顺
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17
Radl形式规格说明相对正确性研究 期刊论文
软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
基于问题模式的形式化软件规格说明生成方法 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康
收藏  |  浏览/下载：7/0  |  提交时间：2013/09/17
一种面向Web服务源程序的谓词抽象验证方法 期刊论文
苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19
任强; 张广泉
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
针对瞬时故障的控制流容错技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
张显明
收藏  |  浏览/下载：10/0  |  提交时间：2010/06/09
一种Post-WIMP界面：PGIS的实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
石磊
收藏  |  浏览/下载：11/0  |  提交时间：2010/07/06
受限正规树文法与基于正则表达式包含判定的类型检查 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
陈雷
收藏  |  浏览/下载：10/0  |  提交时间：2010/01/28

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