中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共9条,第1-9条 帮助

条数/页: 排序方式:
南沙海域搜救可达性评估 期刊论文  OAI收割
热带地理, 2024, 卷号: 44, 期号: 11, 页码: 2015-2024
作者:  
石绍宸;  吴文周;  张鹏;  苏奋振
  |  收藏  |  浏览/下载:3/0  |  提交时间:2024/12/12
渤海海峡跨海通道客货流量预测分析 期刊论文  OAI收割
地理学报, 2017, 卷号: 72, 期号: 8, 页码: 1486
作者:  
孙东琪;  陆大道;  王振波;  徐建斌;  申晓燕
  |  收藏  |  浏览/下载:16/0  |  提交时间:2020/03/23
北京交通网络拓扑结构及可达性格局历史变化研究 中文期刊论文  OAI收割
2014
作者:  
王少华;  钟耳顺;  张小虎;  郑怀海;  张珣
收藏  |  浏览/下载:21/0  |  提交时间:2015/12/18
基于可达性的中小文化旅游城市旅游潜力分析 中文期刊论文  OAI收割
2012
作者:  
金凤君
收藏  |  浏览/下载:74/0  |  提交时间:2012/09/01
基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
收藏  |  浏览/下载:39/0  |  提交时间:2011/05/23
基于Yices对时间自动机的有界模型检测 学位论文  OAI收割
硕士, 中科院软件所: 中科院软件所, 2009
-
  |  收藏  |  浏览/下载:23/0  |  提交时间:2009/06/11
基于整数时间的实时系统符号化模型检测技术 学位论文  OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
晏荣杰
收藏  |  浏览/下载:15/0  |  提交时间:2011/03/17
有限精度时间自动机的可达性检测 期刊论文  OAI收割
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松
  |  收藏  |  浏览/下载:11/0  |  提交时间:2010/08/26
时间符号迁移图上的可达性分析 期刊论文  OAI收割
计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  收藏  |  浏览/下载:21/0  |  提交时间:2011/07/29