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

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

条数/页： 排序方式：
并行地理计算算法性能评测技术研究 期刊论文  OAI收割
地球信息科学学报, 2015, 卷号: 17, 期号: 5, 页码: 568
作者:  陈翠婷;  方金云;  邱强;  姚晓;  李栋宾
  |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04
团队心智模型相似性与正确性对团队创造力的影响 期刊论文  OAI收割
心理学报, 2014, 期号: 11, 页码: 1734-1747
作者:  林晓敏;  白新文;  林琳
收藏  |  浏览/下载：37/0  |  提交时间：2015/12/02
基于进程投机并行的运行时系统设计与优化 期刊论文  OAI收割
计算机工程, 2014, 卷号: 40.0, 期号: 003, 页码: 99
作者:  刘雷;  李晶;  陈莉;  冯晓兵
  |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04
具有环形结构微通道网路中双液滴串编码行为研究 会议论文  OAI收割
中国力学大会——2013, 中国北京, 2013-08-19
作者:  宋奎;  胡国庆
收藏  |  浏览/下载：13/0  |  提交时间：2014/04/02
Radl 形式规格说明相对正确性研究 期刊论文  OAI收割
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
  |  收藏  |  浏览/下载：24/0  |  提交时间：2013/09/17
Radl形式规格说明相对正确性研究 期刊论文  OAI收割
软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云
  |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17
XSM的静态分析和验证技术研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
邓程
  |  收藏  |  浏览/下载：10/0  |  提交时间：2012/06/01
基于静态分析的XSM正确性验证 期刊论文  OAI收割
计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 1-5,22
邓程; 丁丽萍; 贺也平; 韩伟
  |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17
组合优化问题简约与算法推演 期刊论文  OAI收割
Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风
  |  收藏  |  浏览/下载：19/0  |  提交时间：2013/10/08
SRL→Radl生成系统及其相关理论研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2010
王昌晶
  |  收藏  |  浏览/下载：13/0  |  提交时间：2012/06/20