CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Automatic generation of document semantics for the e-science Knowledge Grid 期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 卷号: 79, 期号: 7, 页码: 969-983
作者:  Hai, ZG;  Luo, XF
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/16
刀具订单自动生成系统的研发 Research and Development on Cut Order Automatic Generation System 期刊论文
2006, 页码: 103-106
作者:  郭灿彬[1];  王时龙[2];  李强[2];  陈文[1];  聂建林[1]
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/28
Towards the formal model and verification of web service choreography description language 其他
2006-01-01
Zhao, Xiangpeng; Yang, Hongli; Qiu, Zongyan
收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13
Towards the formal model and verification of web service choreography description language 其他
2006-01-01
Zhao Xiangpeng; Yang Hongli; Qiu Zongyan
收藏  |  浏览/下载:0/0  |  提交时间:2015/11/16
GATEST: 使用遗传算法自动生成模拟矢量的验证平台 期刊论文
北京大学学报 自然科学版, 2006
易江芳; 佟冬; 程旭
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/11
GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms 期刊论文
北京大学学报 自然科学版, 2006
Yi, Jiangfang; Tong, Dong; Cheng, Xu
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/17
Automatic atom type and bond type perception in molecular mechanical calculations 期刊论文
分子图示法与模型杂志, 2006
Wang, Junmei; Wang, Wei; Kollman, Peter A.; Case, David A.
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/11
An approach to test data generation for killing multiple mutants 其他
2006-01-01
Liu, Ming-Hao; Gao, You-Feng; Shan, Jin-Hui; Liu, Jiang-Hong; Zhang, Lu; Sun, Jia-Su
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13
基于风险的空中交通安全管理 学位论文
2006, 2006
刘子圣
收藏  |  浏览/下载:2/0  |  提交时间:2016/02/14
一种基于Messy GA的结构测试数据自动生成方法 期刊论文
软件学报, 2006, 卷号: 17, 期号: 8, 页码: 1688-1697
薛云志; 陈伟; 王永吉; 赵琛; 王青
收藏  |  浏览/下载:6/0  |  提交时间:2010/08/17


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