中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 21-30 of 95)

Items/Page:    Sort:
面向卫星网络的延迟监测算法及仿真实现 [期刊论文]
计算机仿真, 2010-01-01, 卷号: 27, 期号: 5, 页码: 112-115
徐帆江; 李之棠
  |  
 
计算机取证的研究现状分析 [期刊论文]
信息网络安全, 2010-01-01, 期号: 11, 页码: 40797
丁丽萍
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
InCoME软件成本估算工具 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 23, 页码: 5015-5018,5047
李效云; 杨达; 叶凯
  |  
 
基于Yices对时间自动机的有界模型检测 [学位论文]
硕士, 中科院软件所: 中科院软件所, 2009-06-05
王晓亮
  |  
 
需求变更管理过程及其工具分析与展望 [期刊论文]
计算机工程与设计, 2009-01-01, 期号: 11, 页码: 2601-2605,2614
秦众森; 李娟
  |  
 
Java程序中数组越界和空指针错误的静态分析 [期刊论文]
计算机应用, 2009-01-01, 卷号: 29, 期号: 5, 页码: 1376-1379
陈柏强; 郭涛; 阮辉; 严俊
  |  
 
基于TUI的场景规划系统中的交互技术 [期刊论文]
计算机辅助设计与图形学学报, 2009-01-01, 卷号: 21, 期号: 1, 页码: 112-119
吕春花; 张凤军; 武汇岳; 戴国忠
  |  
 
基于场景方法的笔式界面软件设计工具 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 8, 页码: 2011-2014,2039
刘健; 邓昌智; 戴国忠
  |  
 
一种面向开源测试工具的集成框架的设计与实现 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-02
罗威
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace