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

Search Results

Help

Item hits: (Results 61-70 of 95)

Items/Page:    Sort:
并行最优化软件包及性能测试 [期刊论文]
数值计算与计算机应用, 2006-01-01, 卷号: 27, 期号: 1, 页码: 60-66
王建; 冯仰德; 迟学斌; 程强
  |  
 
对一类多级安全模型安全性的形式化分析 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波; 卿斯汉; 王超
  |  
 
软件质量控制支持工具SQC的研究与实现 [期刊论文]
计算机工程与设计, 2006-01-01, 卷号: 27, 期号: 21, 页码: 4094-4096+4100
郭晓敦; 秦晓; 李少波
  |  
 
高级最优化工具箱TAO评介 [期刊论文]
数值计算与计算机应用, 2005-01-01, 卷号: 26, 期号: 3, 页码: 215-223
王建; 迟学斌; 姜金荣; 谷同祥; 温红子; 刘文博
  |  
 
计算机取证的相关法律技术问题研究 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 2, 页码: 260-275
丁丽萍; 王永吉
  |  
 
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 
集成的需求和测试管理工具 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
杨志磊
  |  
 
笔式用户界面开发方法研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
李杰
  |  
 
数据库应用系统的层次化设计方法与实现 [期刊论文]
计算机工程与设计, 2004-01-01, 卷号: 25, 期号: 9
张峻; 徐卫东; 钟华
  |  
 
互联网上主题信息的一种收集与处理模型及其应用 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 12, 页码: 1667-1671
李晓明; 朱家稷; 闫宏飞
  |  
 

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

 

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