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

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

条数/页： 排序方式：
自主安全动机与安全绩效的多水平模型 期刊论文  OAI收割
心理科学进展, 2019, 页码: 12
作者:  蒋丽;  张意如;  李锋
  |  收藏  |  浏览/下载：22/0  |  提交时间：2019/10/14
基于反例制导抽象精化的安全性验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
王伟锋
  |  收藏  |  浏览/下载：24/0  |  提交时间：2016/05/31
新疆天池景区生态安全度时空分异特征与驱动机制/Characteristics of temporal-spatial differences in landscape ecological security and the driving mechanism in Tianchi scenic zone of Xinjiang[J] 期刊论文  OAI收割
地理科学进展, 2013, 卷号: 32, 期号: 3, 页码: 475-485
作者:  时卉;  杨兆萍;  韩芳;  石天戈;  栾福明
  |  收藏  |  浏览/下载：33/0  |  提交时间：2017/12/29
安全动机在安全绩效模型中的作用:自我决定理论的视角 期刊论文  OAI收割
心理科学进展, 2012, 卷号: 20, 期号: 1, 页码: 35-44
作者:  蒋丽;  李永娟
收藏  |  浏览/下载：42/0  |  提交时间：2015/12/01
华北平原“杨上粮下”现象的驱动机制——以河北省文安县为例 中文期刊论文  OAI收割
2012
作者:  辛良杰;  李秀彬
收藏  |  浏览/下载：20/0  |  提交时间：2012/09/01
一种提高时序安全属性静态检测实用性的方法 期刊论文  OAI收割
计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244
作者:  霍玮;  李丰;  丁兆伟;  桑春雷;  张兆庆
  |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04
基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
收藏  |  浏览/下载：38/0  |  提交时间：2011/05/23
一种面向深度数据包检测的紧凑型正则表达式匹配算法 期刊论文  OAI收割
中国科学. 信息科学, 2010, 卷号: 40, 期号: 2, 页码: 356
作者:  金军航;  黄昆;  张大方;  谢高岗
  |  收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
基于Yices对时间自动机的有界模型检测 学位论文  OAI收割
硕士, 中科院软件所: 中科院软件所, 2009
-
  |  收藏  |  浏览/下载：23/0  |  提交时间：2009/06/11
1990年至2005年中国粮食产量重心演进格局及其驱动机制 期刊论文  OAI收割
资源科学, 2009, 卷号: 31, 期号: 7, 页码: 1188-1194
作者:  王介勇;  刘彦随
收藏  |  浏览/下载：25/0  |  提交时间：2011/12/06