中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
气候变暖背景下不同海拔长白落叶松对气候变化的响应 期刊论文  OAI收割
生态学杂志, 2019, 卷号: 000, 期号: 003, 页码: 637
作者:  赵学鹏;  白学平;  李俊霞;  王丽丽;  张先亮
  |  收藏  |  浏览/下载：21/0  |  提交时间：2020/03/23
樟子松树轮δ~(13)C对气候因子响应的方位差异 期刊论文  OAI收割
林业科学, 2013, 期号: 6, 页码: 2016-01-09
作者:  商志远;  王建;  赵兴云;  张茂恒;  崔明星
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/06
樟子松树轮δ~(13)C对气候因子响应的方位差异 期刊论文  OAI收割
林业科学, 2013
作者:  商志远;  王建;  赵兴云;  张茂恒;  崔明星
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/06
大兴安岭北部樟子松树轮δ~(13)C的高向变化及其与树轮宽度的关系 期刊论文  OAI收割
应用生态学报, 2013
作者:  商志远;  王建;  张文;  李彦彦;  崔明星
收藏  |  浏览/下载：10/0  |  提交时间：2016/12/06
大兴安岭北部樟子松树轮δ~(13)C的高向变化及其与树轮宽度的关系 期刊论文  OAI收割
应用生态学报, 2013, 期号: 1, 页码: 2016-01-09
作者:  商志远;  王建;  张文;  李彦彦;  崔明星
收藏  |  浏览/下载：118/0  |  提交时间：2016/12/06
基于模型检测的安全协议形式化分析方法的研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2011
赵振举
  |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/15
some improvements on model checking coreasm models of security protocols 会议论文  OAI收割
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  收藏  |  浏览/下载：27/0  |  提交时间：2011/03/31
asm-spv: a model checker for security protocols 会议论文  OAI收割
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  收藏  |  浏览/下载：24/0  |  提交时间：2011/03/31
formal verification of hmqv using asm-spv 会议论文  OAI收割
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao
  |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/31
和谐图书馆与科学管理的关系 期刊论文  OAI收割
图书馆学刊, 2008, 卷号: 30, 期号: 3, 页码: 67-70
赵喜红; 卢振举
收藏  |  浏览/下载：10/0  |  提交时间：2010/11/30