|
已选(0)清除
条数/页： 排序方式：
|
| 综合模块化航空电子多约束分区调度方法 期刊论文
电子测量技术, 2017, 卷号: 40, 页码: 152-155,160
作者: 杨骏峰; 李峭
  收藏 | 浏览/下载：5/0 | 提交时间：2019/12/30
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏 | 浏览/下载：18/0 | 提交时间：2014/06/06
|
| 基于液相31P-NMRNMRNMR技术的沉积物中有机磷分析方法构建及其应用研究 学位论文
博士, 北京: 中国科学院研究生院, 2014
作者: 张文强
收藏 | 浏览/下载：131/0 | 提交时间：2015/06/26
|
| 改进的布尔公式学习算法 期刊论文
计算机系统应用, 2014, 期号: 9, 页码: 83-88
哈晓琳; 李勇坚
收藏 | 浏览/下载：14/0 | 提交时间：2014/12/16
|
| 基于约束的测试用例生成中可扩展性问题研究 学位论文
博士, 北京: 中国科学院大学, 2013
作者: 王轶
收藏 | 浏览/下载：15/0 | 提交时间：2013/05/31
|
| 基于约束的测试用例生成中可扩展性问题研究 学位论文
中国科学院新疆理化技术研究所: 中国科学院大学, 2013
作者: 王轶
收藏 | 浏览/下载：21/0 | 提交时间：2013/05/31
|
| 基于限界模型检查的Web服务行为失配检测 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
收藏 | 浏览/下载：71/0 | 提交时间：2012/11/12 |
| 基于多时相遥感影像的东北三省作物分布信息提取 期刊论文
农业工程学报, 2011, 卷号: 27, 期号: 1, 页码: 201-207,393
作者: 郝卫平; 梅旭荣; 蔡学良; 杜建涛; 刘勤
收藏 | 浏览/下载：3/0 | 提交时间：2016/12/06
|
| 组合对象的搜索算法研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
马菲菲
收藏 | 浏览/下载：15/0 | 提交时间：2010/06/09
|
