CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：26/0  |  提交时间：2014/05/29
基于锁信息的多线程软件原子性错误检测方法 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94
王云飞; 刘剑; 马越
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
密码模块API形式化分析技术研究 学位论文
硕士, 北京: 中国科学院大学, 2013
刘波
收藏  |  浏览/下载：26/0  |  提交时间：2013/05/27
基于词典的汉藏句子自动对齐 学位论文
硕士, 北京: 中国科学院研究生院, 2011
于新
收藏  |  浏览/下载：17/0  |  提交时间：2011/06/13
流密码中非线性部件的分析与设计 学位论文
博士, 北京: 中国科学院研究生院, 2011
杨笑
收藏  |  浏览/下载：21/0  |  提交时间：2011/06/15
一种支持软件项目资源调度的任务人员优化匹配方法 期刊论文
计算机应用与软件, 2011, 期号: 3, 页码: 20-25,43
吴安琪; 谢利子; 肖俊超
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
基于单断言的安全的密文区间检索 期刊论文
计算机学报, 2011, 卷号: 34, 期号: 11, 页码: 2093-2103
蔡克; 张敏; 冯登国
收藏  |  浏览/下载：8/0  |  提交时间：2013/10/08
函数式语言LFC的Supercompilation技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
郑丽丽
收藏  |  浏览/下载：18/0  |  提交时间：2010/07/14
一种支持软件项目资源调度的任务人员优化匹配方法 学位论文
硕士, 北京: 中国科学院研究生院, 2010
吴安琪
收藏  |  浏览/下载：16/0  |  提交时间：2010/06/07
对时间自动机进行空性检测的过程和改进 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23

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