中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 794)

Filters    
Items/Page:    Sort:
含有replaceAll函数的字符串约束求解 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-23
陈艳
  |  
 
基于大规模移动性分析的城市人群全景可视化 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-22
江涛
  |  
 
针对软件测试数据生成与Petri网可达性分析的适度函数 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-22
徐雄
  |  
 
安全攸关嵌入式系统代码自动生成技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-21
严高高
  |  
 
正则表达式子类的推断算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-18
崔蕃琳
  |  
 
图像模糊区域的分割及去模糊方法的研究 [学位论文]
硕士, 北京市中国科学院软件研究所: 中国科学院研究生院, 2018-05-18
袁野
  |  
 
面向高维标注受限数据的特征和样本选择方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-17
石磊
  |  
 
时间Büchi自动机LTL性质的多核模型检测工具的实现与改进 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-16
赵威
  |  
 
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  
 
并发缺陷的高质量自动化修复方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-15
曹玲微
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2018  中国科学院软件研究所 - Feedback
Powered by CSpace