CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
网络算法编程语言的设计、实现与代码自动生成 学位论文
硕士, 北京: 中国科学院研究生院, 2019
作者:  王健
收藏  |  浏览/下载：26/0  |  提交时间：2019/06/25
基于JavaEE的可复用管理信息系统的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2014
丁亮
收藏  |  浏览/下载：12/0  |  提交时间：2014/05/29
SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏  |  浏览/下载：25/0  |  提交时间：2014/12/16
基于SSH框架的java代码自动生成 期刊论文
计算机系统应用, 2014, 期号: 9, 页码: 72-77
丁亮; 许舒人
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
时间自动机模型检测具体反例的生成与图形化显示 学位论文
硕士, 北京: 中国科学院研究生院, 2013
信贤卫
收藏  |  浏览/下载：10/0  |  提交时间：2013/05/31
具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
基于PAR的排序算法自动生成研究 期刊论文
软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云
收藏  |  浏览/下载：8/0  |  提交时间：2013/09/17
一种基于适应度函数遗传算法的公平交换协议自动生成方法 期刊论文
电子学报, 2010, 卷号: 38, 期号: 5, 页码: 1089-1094
刘冬梅; 卿斯汉; 侯玉文; 李鹏飞
收藏  |  浏览/下载：9/0  |  提交时间：2011/05/23
C程序测试数据生成与死循环检测研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
阮辉
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
基于形式描述的编译优化自动测试方法与技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：15/0  |  提交时间：2009/06/12

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