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

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

条数/页： 排序方式：
基于python语言和abaqus平台的边坡可靠度计算自动化算法开发 期刊论文  OAI收割
土木与环境工程学报(中英文), 2019, 卷号: 41, 期号: 5, 页码: 67-72
作者:  任斌斌;  苏立君
  |  收藏  |  浏览/下载：25/0  |  提交时间：2020/05/18
基于样本程序和规则库的代码自动化检查工具 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2011
王致富
  |  收藏  |  浏览/下载：9/0  |  提交时间：2011/07/04
面向高速工业无线网络的TDMA MAC协议设计与实现 期刊论文  OAI收割
计算机科学, 2011, 卷号: 38, 期号: S1, 页码: 299-304,344
作者:  于海斌;  曾鹏
收藏  |  浏览/下载：26/0  |  提交时间：2012/05/29
SIMATIC S7-400在PROTOS70电控系统中的应用 期刊论文  OAI收割
价值工程, 2011, 卷号: 30, 期号: 13, 页码: 37-38
作者:  苏锐
收藏  |  浏览/下载：13/0  |  提交时间：2012/05/29
基于形式描述的编译优化自动测试方法与技术研究 学位论文  OAI收割
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
  |  收藏  |  浏览/下载：18/0  |  提交时间：2009/06/12
算法程序变换研究与进展 期刊论文  OAI收割
计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
  |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/01
使用SPEC#开发高可靠性的算法程序 期刊论文  OAI收割
计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13
形式化方法B及其程序规约机理 期刊论文  OAI收割
计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50
肖美华; 薛锦云
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/29
用于过程控制的对象连接和嵌入技术综述 期刊论文  OAI收割
光机电信息, 2003, 期号: 02, 页码: 24-28
陈帅; 杨洪波
收藏  |  浏览/下载：21/0  |  提交时间：2013/03/11
通过自动化接口向应用程序传送数据 期刊论文  OAI收割
江汉石油学院学报, 2003, 期号: S2, 页码: 171-172+11
作者:  沈疆海;  王德玲
  |  收藏  |  浏览/下载：17/0  |  提交时间：2018/06/25