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

Search Results

Help

Item hits: (Results 11-20 of 82)

Items/Page:    Sort:
最优化约束满足问题的复杂性与近似性研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-06-01
唐林清
  |  
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
基于约束理论的订单履行系统设计与实现 [期刊论文]
计算机工程, 2011-01-01, 期号: 3, 页码: 257-259
陈辉华; 肖凯; 韩永生; 滕东兴
  |  
 
基于约束理论的作业计划系统研究与实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 4, 页码: 1152-1156,1306
刘玉
  |  
 
基于约束理论的订单履行系统的应用与实践 [学位论文]
硕士, 北京: 中国科学院研究生院, 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
王文发; 张根耀; 马春梅; 李红达
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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