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

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

帮助

条数/页：排序方式：
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \|
	应用统计过程控制监控软件测试过程期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 725-730 车美儒; 杨国伟; 勾朗; 姜楠 \| 收藏 \|
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \|
	基于图论的作战计划军事效果评估期刊论文 OAI收割计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 148 作者: 秦前付; 曹存根; 徐洸 \| 收藏 \|