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

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

条数/页： 排序方式：
中国媒介形象及其媒介信息抽象性对外国受众对华态度的影响:心理距离的中介作用 学位论文  OAI收割
中国科学院心理研究所: 中国科学院大学, 2024
作者:  
  |  收藏  |  浏览/下载：44/0  |  提交时间：2024/07/04
变熵画像：一种数量级压缩物端数据的多粒度信息模型 期刊论文  OAI收割
计算机研究与发展, 2018, 卷号: 55.0, 期号: 008, 页码: 1653
作者:  朝鲁;  彭晓晖;  徐志伟
  |  收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
基于反例制导抽象精化的安全性验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
王伟锋
  |  收藏  |  浏览/下载：26/0  |  提交时间：2016/05/31
PaMC带参模型检测工具及其应用研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2013
周琰
  |  收藏  |  浏览/下载：19/0  |  提交时间：2013/07/02
基于GIS的干旱区分布式产汇流过程模拟系统的研建/Study and construction of distributed runoff yield process simulation system based on GIS in arid areas[J] 期刊论文  OAI收割
水资源与水工程学报, 2012, 卷号: 23, 期号: 5, 页码: 38-42,47
作者:  蔺虎;  刘志辉;  李诚志;  孟现勇;  新疆大学资源与环境科学学院,新疆乌鲁木齐830046
  |  收藏  |  浏览/下载：15/0  |  提交时间：2017/12/29
海洋时空过程数据模型及其原型系统构建研究 期刊论文  OAI收割
海洋通报, 2012, 页码: 667-674
薛存金; 董庆
收藏  |  浏览/下载：20/0  |  提交时间：2015/01/04
网络模拟研究概述 期刊论文  OAI收割
信息技术快报, 2011, 卷号: 9, 期号: 3, 页码: 1
作者:  郝志宇
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/06/07
基于模型检测的安全协议形式化分析方法的研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2011
赵振举
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/06/15
数据通路型电路的形式化验证方法研究 学位论文  OAI收割
北京: 中国科学院研究生院, 2011
作者:  陈博文
  |  收藏  |  浏览/下载：28/0  |  提交时间：2011/06/07
一种面向Web服务源程序的谓词抽象验证方法 期刊论文  OAI收割
苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19
任强; 张广泉
  |  收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10