机构

• 软件研究所 [11]
• 地理科学与资源研究所 [3]
• 计算技术研究所 [2]
• 心理研究所 [2]
• 新疆生态与地理研究所 [1]

采集方式

• OAI收割 [19]

内容类型

• 期刊论文 [11]
• 学位论文 [6]
• 中文期刊论文 [2]

发表日期

• 2019 [1]
• 2016 [1]
• 2013 [1]
• 2012 [3]
• 2010 [2]
• 2009 [3]
• 更多

学科主题

• Computer S... [1]
• 工业与组织心理学 [1]
• 计算机科学技术基础学... [1]
• 计算机软件 [1]

筛选

浏览/检索结果: 共19条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 自主安全动机与安全绩效的多水平模型 期刊论文  OAI收割 心理科学进展, 2019, 页码: 12 作者:  蒋丽;  张意如;  李锋   |  收藏  |   基于反例制导抽象精化的安全性验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2016 王伟锋   |  收藏  |   新疆天池景区生态安全度时空分异特征与驱动机制/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 作者:  时卉;  杨兆萍;  韩芳;  石天戈;  栾福明   |  收藏  |   安全动机在安全绩效模型中的作用:自我决定理论的视角 期刊论文  OAI收割 心理科学进展, 2012, 卷号: 20, 期号: 1, 页码: 35-44 作者:  蒋丽;  李永娟 收藏  |   华北平原“杨上粮下”现象的驱动机制——以河北省文安县为例 中文期刊论文  OAI收割 2012 作者:  辛良杰;  李秀彬 收藏  |   一种提高时序安全属性静态检测实用性的方法 期刊论文  OAI收割 计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244 作者:  霍玮;  李丰;  丁兆伟;  桑春雷;  张兆庆   |  收藏  |   基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 收藏  |   一种面向深度数据包检测的紧凑型正则表达式匹配算法 期刊论文  OAI收割 中国科学. 信息科学, 2010, 卷号: 40, 期号: 2, 页码: 356 作者:  金军航;  黄昆;  张大方;  谢高岗   |  收藏  |   基于Yices对时间自动机的有界模型检测 学位论文  OAI收割 硕士, 中科院软件所: 中科院软件所, 2009 -   |  收藏  |   1990年至2005年中国粮食产量重心演进格局及其驱动机制 期刊论文  OAI收割 资源科学, 2009, 卷号: 31, 期号: 7, 页码: 1188-1194 作者:  王介勇;  刘彦随 收藏  |