CORC

在结果中检索

CORC

浏览/检索结果: 共48条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
线性析取约束优化算法理论与应用研究 学位论文
博士, 北京: 中国科学院大学, 2019
作者:  吕荫润
收藏  |  浏览/下载：42/0  |  提交时间：2019/06/12
网络社区结构的刻画与查找: 局部视角 学位论文
博士, 北京: 中国科学院大学, 2013
彭攀
收藏  |  浏览/下载：19/0  |  提交时间：2013/05/31
CH-MMS:一种面向大数据存储系统的高效元数据集群管理方案 会议论文
第十二届全国软件与应用学术会议(NASAC2012), 天津, 2013
肖中正; 陈宁江; 魏峻; 张文博
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
树木与自然场景交互作用仿真技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2012
杨猛
收藏  |  浏览/下载：10/0  |  提交时间：2012/06/13
轨道列车人机界面软件设计与可靠性研究 学位论文
硕士, 北京: 中国科学院研究生院, 2011
陈进进
收藏  |  浏览/下载：14/0  |  提交时间：2011/06/13
基于ZBDD的布尔多项式Gr?bner基算法的实现 期刊论文
计算机应用与软件, 2011, 期号: 2, 页码: 274-276
李昕; 张寅
收藏  |  浏览/下载：7/0  |  提交时间：2011/10/10
基于ZBDD的布尔多项式Gr(o)bner基算法的实现 期刊论文
计算机应用与软件, 2011, 卷号: 28, 期号: 2, 页码: 274-276
李昕; 张寅
收藏  |  浏览/下载：8/0  |  提交时间：2013/10/08
基于ZBDD的布尔多项式Grobner基算法的实现 期刊论文
Computer Applications and Software, 2011, 卷号: 28, 期号: 2
李昕; 张寅
收藏  |  浏览/下载：21/0  |  提交时间：2013/10/08
SAT和DSOLS问题的研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
卢闰明
收藏  |  浏览/下载：10/0  |  提交时间：2010/07/09
后序遍历二叉树非递归算法的推导及形式化证明 期刊论文
计算机工程与科学, 2010, 卷号: 32, 期号: 3, 页码: 119-123
左正康; 游珍; 薛锦云
收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23

©版权所有 ©2017 CSpace - Powered by CSpace