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

Search Results

Help

Item hits: (Results 1-10 of 54)

Filters    
Items/Page:    Sort:
具有时空约束的强制访问控制模型 [期刊论文]
北京邮电大学学报, 2012-01-01, 期号: 5, 页码: 111-114
范艳芳; 蔡英; 耿秀华

 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
基于约束理论的订单履行系统设计与实现 [期刊论文]
计算机工程, 2011-01-01, 期号: 3, 页码: 257-259
陈辉华; 肖凯; 韩永生; 滕东兴
  |  
 
基于约束理论的作业计划系统研究与实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 4, 页码: 1152-1156,1306
刘玉
  |  
 
实物界面下的虚拟装配 [期刊论文]
中国图象图形学报, 2010-01-01, 卷号: 15, 期号: 8, 页码: 1151-1157
喻晓宇; 张凤军; 戴国忠
  |  
 
基于考生比例的考场编排问题的分治算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发; 张根耀; 马春梅; 李红达
  |  
 
风险驱动的软件项目缓冲分配方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 12, 页码: 3029-3041
谢利子; 王青; 肖俊超
  |  
 
基于矩阵存储的学生分班问题的回溯算法 [期刊论文]
计算机工程与设计, 2009-01-01, 期号: 12, 页码: 3022-3025
马燕; 王文发; 李宏达

 
基于空值修复的数据库一致性查询方法 [期刊论文]
计算机应用研究, 2009-01-01, 卷号: 26, 期号: 11
黄飞; 刘杰; 叶丹
  |  
 
笔式服装工艺设计系统的研究与实现 [期刊论文]
信息化纵横, 2009-01-01, 卷号: 28, 期号: 8, 页码: 13-16
刘俊中; 樊银亭; 金鹏; 张瑢; 滕东兴
  |  
 

1 2 3 4 5 6 next

 

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