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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
基于约束理论的作业计划系统研究与实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 4, 页码: 1152-1156,1306
刘玉
  |  
 
基于考生比例的考场编排问题的分治算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发; 张根耀; 马春梅; 李红达
  |  
 
基于矩阵存储的学生分班问题的回溯算法 [期刊论文]
计算机工程与设计, 2009-01-01, 期号: 12, 页码: 3022-3025
马燕; 王文发; 李宏达

 
基于约束满足的测试计划方法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 535-539
李悦; 李娟; 陈伟
  |  
 
面向装备全寿命保障的约束规划框架 [期刊论文]
计算机工程与设计, 2006-01-01, 期号: 14, 页码: 2677-2679
张子丘; 郑宇军; 王侃
  |  
 
虚拟家居设计系统的笔式交互应用研究 [期刊论文]
计算机工程与设计, 2005-01-01, 卷号: 26, 期号: 10, 页码: 2569-2571,2575
邢双秋; 董兴辉; 滕东兴; 戴国忠; 王征
  |  
 

1

 

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