已选(0)清除
条数/页: 排序方式:
|
| 沉积地层中的黄铁矿形态及同位素特征初探——以华南埃迪卡拉纪深水相地层为例 期刊论文 沉积学报, 2020, 卷号: 38.0, 期号: 1.0, 页码: 138-149 作者: 胡永亮; 王伟; 周传明
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:10/0  |  提交时间:2021/10/20
|
| 深度贫困地区乡村地域系统演化研究——以河北省阳原县为例 期刊论文 地理科学进展, 2020, 卷号: 39.0, 期号: 006, 页码: 951 作者: 李玉恒; 宋传垚; 阎佳玉; 黄惠倩
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2021/03/16
|
| 氨基和巯基修饰氧化石墨烯/碳纳米管制备及吸附研究 学位论文 2017 作者: 李传通
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2020/11/05
|
| 基于概率传值进程演算的网络安全建模与分析 学位论文 博士, 北京: 中国科学院研究生院, 2016 张倩
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2017/01/10 |
| 带参并发系统的模型检测 学位论文 硕士, 中科院软件所: 中科院研究生院, 2009 -
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:12/0  |  提交时间:2009/06/11
|
| 基于全球涡度相关的森林碳交换的时空格局 中文期刊论文 2008 作者: 于贵瑞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:20/0  |  提交时间:2012/05/22
|
| 带复杂数据结构的模型检测工具 期刊论文 计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2010/08/24
|
| 基于STGA的并发程序测试 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 唐江峻
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:20/0  |  提交时间:2011/03/17
|
| 面向传值进程的一阶模态逻辑的可判定性与模型检测 期刊论文 中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2010/08/24
|
| 传值进程模型检测中诊断信息的生成 期刊论文 软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:12/0  |  提交时间:2010/08/24
|