|
已选(0)清除
条数/页： 排序方式：
|
| 基于光谱分析的草地叶绿素含量估测植被指数 期刊论文
光谱学与光谱分析, 2014
肖汉; 陈秀万; 杨振宇; 李怀瑜; 朱瀚
  收藏 | 浏览/下载：3/0 | 提交时间：2015/10/23
|
| TerraSAR-X传感器定标精度及其应用分析 期刊论文
遥感信息, 2014
周晓; 曾琪明; 焦健
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
| Two inverse processes: Spectral reconstruction and pixel unmixing 其他
2014-01-01
Yan, Lei; Liu, Sui-Hua; Liu, Hui-Li; Jing, Xin; Cheng, Chengqi; Wang, Hong
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/13 |
| Formal modeling and verification of complex interactions in E-Government applications 其他
2014-01-01
Sun, Meng; Li, Yi
收藏 | 浏览/下载：2/0 | 提交时间：2017/12/03 |
| Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏 | 浏览/下载：2/0 | 提交时间：2017/12/03
|
| Modeling and Analysis of Component Connectors in Coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components 其他
2014-01-01
Hong, Ali; Liu, Yijing; Qiu, Zongyan
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/13 |
| Axioms and abstract predicates on interfaces in specifying/verifying OO components 其他
2014-01-01
Hong, Ali; Liu, Yijing; Qiu, Zongyan
收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03 |
| STRONG AVERAGE OPTIMALITY CRITERION FOR CONTINUOUS-TIME MARKOV DECISION PROCESSES 其他
2014-01-01
Wei, Qingda; Chen, Xian
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/16
|
