Search Results

Item hits: (Results 1-10 of 82)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time DescendingIssue Date AscendingIssue Date Descending
	线性析取约束优化算法理论与应用研究 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-31 吕荫润   |
	带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-17 高冲   |
	约束优化难解问题的高效算法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2019-05-14 王少将   |
	小卫星集群自主任务调度技术研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-26 吴进   |
	基于行为约束传播的并发系统状态空间约简方法 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-26 王志江   |
	面向Web应用的软件部署关键技术研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2013-05-27 陈伟   |
	具有时空约束的强制访问控制模型 [期刊论文] 北京邮电大学学报, 2012-01-01, 期号: 5, 页码: 111-114 范艳芳; 蔡英; 耿秀华
	PAR中泛型约束机制的设计与实现 [学位论文] 博士, 北京: 中国科学院大学, 2011-07-01 左正康   |
	基于拉式补货的服装分销管理系统的研究与实践 [学位论文] 硕士, 北京: 中国科学院研究生院, 2011-06-01 肖凯   |
	基于瓶颈负荷的饲料行业产销协调系统的研究与实践 [学位论文] 硕士, 北京: 中国科学院研究生院, 2011-06-01 田伟   |

1 2 3 4 5 6 7 8 9 next