CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：25/0  |  提交时间：2014/05/29
线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
基于Web的生产统计报表的设计与实现 期刊论文
计算机技术与发展, 2012, 卷号: 22, 期号: 2, 页码: 213-216
马燕; 王文发; 许淳; 李红达
收藏  |  浏览/下载：3/0  |  提交时间：2012/11/12
基于Web的生产统计报表的设计与实现 会议论文
2011嵌入式技术开发论坛, 北京, 2011
马燕; 王文发; 许淳; 李红达
收藏  |  浏览/下载：7/0  |  提交时间：2013/10/08
面向MapReduce的数据处理流程开发方法 期刊论文
计算机科学与探索, 2011, 期号: 2, 页码: 161-169
易小华; 刘杰; 叶丹
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏  |  浏览/下载：9/0  |  提交时间：2012/06/20
笔式用户界面敏捷开发工具及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2010
华超
收藏  |  浏览/下载：7/0  |  提交时间：2010/06/04
可满足性问题研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
贾祥雪
收藏  |  浏览/下载：15/0  |  提交时间：2010/06/04

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