中国科学院机构知识库网格系统: 检索

机构

采集方式

内容类型

发表日期

学科主题

筛选

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	循环不变式开发技术研究期刊论文 OAI收割计算机工程与科学, 2010, 卷号: 32, 期号: 9, 页码: 84-88,94 万松松; 薛锦云; 谢武平 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/05/23 循环不变式 PAR方法高可靠性软件谓词抽象
	低光低温联合作用对铜绿微囊藻复苏能力的影响期刊论文 OAI收割环境科学, 2010, 期号: 12 汤俊; 宋立荣; 孙松松; 魏海慧; 万能收藏 \| 浏览/下载：81/11 \| 提交时间：2011/03/17 低温低光联合作用铜绿微囊藻阈值复苏
	基于方面构件模型及其组装与实现期刊论文 OAI收割计算机技术与发展, 2009, 期号: 4, 页码: 160-162,165 谢武平; 薛锦云; 万松松 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/18 面向方面编程,构件组装,关注点