|
已选(0)清除
条数/页： 排序方式：
|
| 一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 时雨霖
  收藏 | 浏览/下载：20/0 | 提交时间：2017/07/08
|
| 面向移动终端用户的服务组合关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2014
白琳
收藏 | 浏览/下载：16/0 | 提交时间：2014/05/30
|
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| PAR中泛型约束机制的设计与实现 学位论文
博士, 北京: 中国科学院大学, 2011
左正康
收藏 | 浏览/下载：13/0 | 提交时间：2013/06/07
|
| 基于动态污点传播的恶意代码分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
刘豫
收藏 | 浏览/下载：24/0 | 提交时间：2011/06/13
|
| 构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏 | 浏览/下载：27/0 | 提交时间：2010/06/08
|
| NP难问题的算法和实验性研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
刘生
收藏 | 浏览/下载：12/0 | 提交时间：2010/01/29
|
| 基于手势的视觉用户界面研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
武汇岳
收藏 | 浏览/下载：19/0 | 提交时间：2010/01/25
|
| 授权策略集成关键技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
王雅哲
收藏 | 浏览/下载：13/0 | 提交时间：2010/01/21
|
| 基于标记的实物用户界面及应用 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：14/0 | 提交时间：2009/06/11
|
