中国开放科研知识云: 检索

CORC

浏览/检索结果: 共3条，第1-3条

帮助

已选(0)清除条数/页：排序方式：
	基于公式学习的循环不变式的推导学位论文硕士, 北京: 中国科学院研究生院, 2014 哈晓琳收藏 \| 浏览/下载：18/0 \| 提交时间：2014/06/06 循环不变式 CDNF 机器学习布尔公式学习算法形式验证
	网络社区结构的刻画与查找: 局部视角学位论文博士, 北京: 中国科学院大学, 2013 彭攀收藏 \| 浏览/下载：19/0 \| 提交时间：2013/05/31 复杂网络小社区现象传导率亚线性算法局部探测算法图性质检测
	NP难问题的算法和实验性研究学位论文硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010 刘生收藏 \| 浏览/下载：9/0 \| 提交时间：2010/01/29 NP难问题

在结果中检索