CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
面向CockRoachDB分布式数据库的自动化参数调优工具设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:  方言歌
收藏  |  浏览/下载：85/0  |  提交时间：2021/06/21
密码模块API形式化分析技术研究 学位论文
硕士, 北京: 中国科学院大学, 2013
刘波
收藏  |  浏览/下载：23/0  |  提交时间：2013/05/27
基于PVS的数据库安全策略形式化分析方法 期刊论文
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16
一种基于项重写的密码模块API安全性检测算法 期刊论文
中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705
刘波; 陈华
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
基于主内存的RFID标签动态信息管理技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2012
骆小芳
收藏  |  浏览/下载：13/0  |  提交时间：2012/08/16
基于PVS的数据库安全策略形式化分析方法 会议论文
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
基于可信平台模块的虚拟单调计数器研究 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 3, 页码: 415-422
李昊; 秦宇; 冯登国
收藏  |  浏览/下载：10/0  |  提交时间：2011/10/10
基于分布式适配的服务协作关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
乔晓强
收藏  |  浏览/下载：15/0  |  提交时间：2010/06/10
一种改进的类比估算方法及案例研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
李效云
收藏  |  浏览/下载：28/0  |  提交时间：2010/06/16
一种Post-WIMP界面：PGIS的实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
石磊
收藏  |  浏览/下载：11/0  |  提交时间：2010/07/06

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