CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
面向Web应用的回归测试选择工具设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:  敖泽柳
收藏  |  浏览/下载：27/0  |  提交时间：2021/06/11
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
图像纹理特征对隐写安全性的影响与利用研究 学位论文
硕士, 北京: 中国科学院研究生院, 2012
邓果
收藏  |  浏览/下载：18/0  |  提交时间：2012/05/31
基于Mealy机精化关系的验证算法 期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172
梁虹; 金乃咏
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
运用属性探索构建完备描述逻辑本体 期刊论文
模式识别与人工智能, 2011, 卷号: 24, 期号: 1, 页码: 1-13
唐素勤; 蔡自兴; 王驹; 蒋运承
收藏  |  浏览/下载：6/0  |  提交时间：2013/10/08
网络编程逻辑抽象 学位论文
博士, 北京: 中国科学院研究生院, 2010
汪芳
收藏  |  浏览/下载：21/0  |  提交时间：2010/12/02
基于图模型的信息检索技术研究及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2010
黄云平
收藏  |  浏览/下载：12/0  |  提交时间：2010/06/08
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：27/0  |  提交时间：2010/06/08
组合对象的搜索算法研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
马菲菲
收藏  |  浏览/下载：17/0  |  提交时间：2010/06/09
基于策略的域间访问控制和信息流控制框架 学位论文
硕士, 北京: 中国科学院研究生院, 2009
王新刚
收藏  |  浏览/下载：14/0  |  提交时间：2009/07/07

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