已选(0)清除
条数/页: 排序方式:
|
| 基于REST架构的小额支付平台的研究与设计 学位论文 北京: 中国科学院大学, 2017 作者: 邓玉龙
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2017/09/26
|
| 基于REST架构的小额支付平台的研究与设计 学位论文 中国科学院新疆理化技术研究所: 中国科学院大学, 2017 作者: 邓玉龙
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2017/09/26
|
| 有限度的规避——凯亚尔司法规避观点评析 学位论文 2017 作者: 吴兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/05
|
| 密码模块API形式化分析技术研究 学位论文 硕士, 北京: 中国科学院大学, 2013 刘波
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:24/0  |  提交时间:2013/05/27 |
| 一种基于项重写的密码模块API安全性检测算法 期刊论文 中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705 刘波; 陈华
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:25/0  |  提交时间:2014/12/16
|
| 构建度量区间时序逻辑的时间自动机 学位论文 硕士, 北京: 中国科学院研究生院, 2010 王勤思
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:27/0  |  提交时间:2010/06/08
|
| 基于时序逻辑证明编译优化程序变换的保义性 期刊论文 软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086 陶秋铭; 赵琛; 郭亮
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2010/08/25
|
| 基于指标形式张量的微分几何定理机器证明 期刊论文 系统科学与数学, 2009, 卷号: 000, 期号: 009, 页码: 1238 作者: 叶征; 曹源昊; 谢正; 李洪波![](/image/person.jpg)
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2020/01/10 |
| 含假结RNA二级结构类的图语法 期刊论文 计算机工程与应用, 2008, 卷号: 44, 页码: 23-25,105 作者: 高世乐; 丁克诠
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/27
|
| 基于语义的异构信息内容集成技术研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2007 李剑
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:20/0  |  提交时间:2011/03/17
|