CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
网络编程逻辑抽象 学位论文
博士, 北京: 中国科学院研究生院, 2010
汪芳
收藏  |  浏览/下载：20/0  |  提交时间：2010/12/02
面向安全协议的移动进程演算的符号化理论 学位论文
博士, 北京: 中国科学院研究生院, 2010
刘佳
收藏  |  浏览/下载：12/0  |  提交时间：2010/11/25
草图用户界面及其应用研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
杨海燕
收藏  |  浏览/下载：26/0  |  提交时间：2010/11/25
SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏  |  浏览/下载：9/0  |  提交时间：2012/06/20
基于分布式适配的服务协作关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
乔晓强
收藏  |  浏览/下载：15/0  |  提交时间：2010/06/10
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：21/0  |  提交时间：2010/06/08
NP难问题的算法和实验性研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
刘生
收藏  |  浏览/下载：9/0  |  提交时间：2010/01/29
受限正规树文法与基于正则表达式包含判定的类型检查 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
陈雷
收藏  |  浏览/下载：8/0  |  提交时间：2010/01/28
基于手势的视觉用户界面研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
武汇岳
收藏  |  浏览/下载：14/0  |  提交时间：2010/01/25
机群文件系统共享语义测试方法 期刊论文
计算机工程, 2010, 卷号: 36, 期号: 10, 页码: 76-79
吕正; 陈昊; 吕毅
收藏  |  浏览/下载：5/0  |  提交时间：2011/05/23

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