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

Search Results

Help

Item hits: (Results 1-10 of 56)

Filters    
Items/Page:    Sort:
基于瓶颈负荷的饲料行业产销协调系统的研究与实践 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-06-01
田伟
  |  
 
基于约束理论的订单履行系统的应用与实践 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-04
陈辉华
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
基于模型的面向服务应用部署工具设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-02
孙崝
  |  
 
SAT和DSOLS问题的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-05-31
卢闰明
  |  
 
实物界面下的虚拟装配 [期刊论文]
中国图象图形学报, 2010-01-01, 卷号: 15, 期号: 8, 页码: 1151-1157
喻晓宇; 张凤军; 戴国忠
  |  
 
基于考生比例的考场编排问题的分治算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发; 张根耀; 马春梅; 李红达
  |  
 
风险驱动的软件项目缓冲分配方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 12, 页码: 3029-3041
谢利子; 王青; 肖俊超
  |  
 
回溯法求解多约束分配问题 [期刊论文]
江西师范大学学报(自然科学版), 2008-01-01, 卷号: 32, 期号: 6, 页码: 729-732
王文发; 马燕; 李宏达
  |  
 
基于约束满足的测试计划方法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 535-539
李悦; 李娟; 陈伟
  |  
 

1 2 3 4 5 6 next

 

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