CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
面向移动终端用户的服务组合关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2014
白琳
收藏  |  浏览/下载：17/0  |  提交时间：2014/05/30
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：20/0  |  提交时间：2014/06/06
基于不变式的混成系统分析、验证和设计方法研究 学位论文
博士, 北京: 中国科学院大学, 2014
赵恒军
收藏  |  浏览/下载：13/0  |  提交时间：2014/05/28
具有密码学意义的置换多项式的存在性及构造 学位论文
博士, 北京: 中国科学院研究生院, 2011
李永强
收藏  |  浏览/下载：19/0  |  提交时间：2012/01/05
PAR中泛型约束机制的设计与实现 学位论文
博士, 北京: 中国科学院大学, 2011
左正康
收藏  |  浏览/下载：14/0  |  提交时间：2013/06/07
基于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
lower bounds on the second order nonlinearity of boolean functions 期刊论文
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 卷号: 22, 期号: 6, 页码: 1331-1349
Li Xuelian; Hu Yupu; Gao Juntao
收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08
基于几何的网格模型编辑处理的研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
孟维亮
收藏  |  浏览/下载：7/0  |  提交时间：2010/06/08

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