已选(0)清除
条数/页: 排序方式:
|
| 一种基于深度学习的上市公司公告信息抽取系统 学位论文 硕士, 北京: 中国科学院研究生院, 2019 作者: 王文惠
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:67/0  |  提交时间:2019/06/20
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文 博士, 北京: 中国科学院研究生院, 2019 作者: 王微谨
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:192/0  |  提交时间:2019/07/03
|
| 改进的流不敏感的类型限定词推断 期刊论文 计算机科学, 2014, 卷号: 41, 期号: 9, 页码: 178-184 李慧松; 许智武; 陈海明
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:17/0  |  提交时间:2014/12/16
|
| XML处理语言的参数多态化 学位论文 博士, 北京: 中国科学院大学, 2013 许智武
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2013/05/31
|
| 基于PAR的排序算法自动生成研究 期刊论文 软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2013/09/17
|
| PAR中泛型约束机制的设计与实现 学位论文 博士, 北京: 中国科学院大学, 2011 左正康
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:13/0  |  提交时间:2013/06/07
|
| 基于范畴计算的多目标语言程序生成架构 期刊论文 计算机科学, 2011, 期号: 4, 页码: 185-187 王金全; 郑宇军
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2011/10/10
|
| 面向方面程序的简化动态依赖图切片方法 期刊论文 计算机科学与探索, 2011, 期号: 3, 页码: 229-237 张广泉; 黄静; 章晓芳; 刘长林
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:12/0  |  提交时间:2011/10/10
|
| 函数式语言LFC的Supercompilation技术研究 学位论文 硕士, 北京: 中国科学院研究生院, 2010 郑丽丽
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:17/0  |  提交时间:2010/07/14
|
| 构建度量区间时序逻辑的时间自动机 学位论文 硕士, 北京: 中国科学院研究生院, 2010 王勤思
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:21/0  |  提交时间:2010/06/08
|