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

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

条数/页： 排序方式：
改进的布尔公式学习算法 期刊论文  OAI收割
计算机系统应用, 2014, 期号: 9, 页码: 83-88
哈晓琳; 李勇坚
  |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
应用规律下的BLP模型密级赋值方法 期刊论文  OAI收割
通信学报, 2013, 卷号: 34, 期号: 9, 页码: 144-151
董婵; 范修斌; 李有文; 王建荣
  |  收藏  |  浏览/下载：8/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
马明
  |  收藏  |  浏览/下载：18/0  |  提交时间：2012/06/13
区域滑坡坡体结构因素连续概率值域确定方法 期刊论文  OAI收割
山地学报, 2011, 卷号: 39, 期号: S, 页码: 112-115
作者:  杨宗佶;  乔建平;  张小刚
  |  收藏  |  浏览/下载：13/0  |  提交时间：2018/07/13
描述Web服务的一阶动态逻辑 期刊论文  OAI收割
计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109
作者:  吴晓庆
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
棕版地形图上等高线的自动提取和批量赋值 期刊论文  OAI收割
测绘科学, 2006, 期号: 4, 页码: 81-83
张宝雷; 宋孟强; 周万村
收藏  |  浏览/下载：18/0  |  提交时间：2010/07/19
带复杂数据结构的模型检测工具 期刊论文  OAI收割
计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999
张轶; 林惠民
  |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/24
基于STGA的并发程序测试 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
唐江峻
收藏  |  浏览/下载：31/0  |  提交时间：2011/03/17
一个并发传值系统自动验证工具的图形界面实现 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
肖颖奇
收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17
井发传值进程模型检测工具的数据类型扩展 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
张轶
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17