高级检索   注册
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文

浏览所有条目

按标题快速跳转
请选择题名首字母 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
输入前几个字母(或汉字)   
按发表日期快速跳转
日期跳转:
 
172条检索结果中的1-20条条目
条数/页:   其他排序方式:
题名作者发表日期▼ 全文
基于概率传值进程演算的网络安全建模与分析 [学位论文]张倩2016-11-25
Android系统安全机制分析与安全增强方法研究 [学位论文]谷雅聪2016-10
个人中心网络结构与内容可视分析 [学位论文]刘青松2016-6-25
基于Petri网的分布式作业调度系统的建模与性能分析 [学位论文]李智佳2016-6-13
检测可操作区域的GUI测试 [学位论文]孙成龙2016-6
面向高效表达的光照计算技术的研究 [学位论文]王光伟2016-5-31
流体模拟中的界面追踪技术研究 [学位论文]李晓生2016-5-28
Android应用的GUI运行流畅度检测与分析 [学位论文]黄甜2016-5-26
基于反例制导抽象精化的安全性验证 [学位论文]王伟锋2016-5-25
量子网络演化博弈理论 [学位论文]雍熙2016-5-25
基于启发式方法的带参系统形式化验证 [学位论文]段凯强2016-5-24
多重中断驱动C程序的数据竞争检测 [学位论文]熊浩军2016-5-24
归纳分支互模拟与发散性保持 [学位论文]廖文琪2016-5-24
无序正则表达式的确定性判定与推断 [学位论文]彭飞飞2016-5-21
CTAV/TGA 模型检测工具CTAV 的功能扩展与实现 [学位论文]景丽莎2016-5-20
可线性化性错误的自动化定位与分析技术研究 [学位论文]陈旸2016-5-19
并发数据结构的归约和验证 [学位论文]王超2016-5-17
扩展时序协作逻辑的模型检测方法研究 [学位论文]纪玮2016-5
AKC攻击的模式、预防及案例分析 [学位论文]麻婧2016-5
基于Pushdown系统证明的可视化 [学位论文]周青2016

 

Valid XHTML 1.0! 版权所有 © 2007-2012  中国科学院软件研究所  -反馈
系统开发与技术支持:中国科学院国家科学图书馆兰州分馆(信息系统部)
本系统基于 MIT 和 Hewlett-Packard 的 DSpace 软件开发