CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载：19/0  |  提交时间：2017/07/08
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
Numerical simulator of atmospherically distorted phase screen for multibeam time-dependent scenario 期刊论文
Applied Optics, 2014, 卷号: 53, 期号: 22, 页码: 5008-5015
Zhang, Yu (1); Tang, Qiuyan (1); Wang, Jin (1); Sun, Quan (2)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Aerial image series quality assessment 会议论文
35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013
Zhang, Hui (1); Li, Bangyu (1); Zhang, Jinfang (1); Xu, Fanjiang (1)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
Cascade: A test generation tool for combinatorial testing 会议论文
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1)
收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
automatically generated formal specification based on the problem decomposition tree 期刊论文
Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 卷号: 52, 期号: SUPPL.1, 页码: 88-92
Wang Changjing
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/17
一种电子政务应用软件的第三方测评策略及工具 学位论文
硕士, 北京: 中国科学院研究生院, 2011
陈心光
收藏  |  浏览/下载：12/0  |  提交时间：2011/06/08
SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏  |  浏览/下载：9/0  |  提交时间：2012/06/20
软件项目资源优化调度研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
谢利子
收藏  |  浏览/下载：21/0  |  提交时间：2010/06/03
understanding the influential factors to development effort in chinese software industry 会议论文
11th International Conference on Product-Focused Software Process Improvement, PROFES 2010, Limerick, Ireland, 37428
He Mei; Zhang He; Yang Ye; Wang Qing; Li Mingshu
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/31

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