中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Community
计算机科学国家重点... [14]
Content Type
学位论文 [14]
Issued Date
2019 [14]
Language
Source
Project
Indexed
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 14)

Filters            
Items/Page:    Sort:
时滞动态系统的形式验证与控制生成 [学位论文]
博士, 北京: 中国科学院大学, 2019-05-24
陈明帅
  |  
 
SMT约束的解计数方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-20
葛存菁
  |  
 
带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-17
高冲
  |  
 
加强感知的边缘提取及其在去模糊和超像素分割中的应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-17
邱枫
  |  
 
网络算法编程语言的设计、实现与代码自动生成 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-17
王健
  |  
 
约束优化难解问题的高效算法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-14
王少将
  |  
 
基于结构信息的数据分析原理与技术 [学位论文]
博士, 北京: 中国科学院大学, 2019-05-01
殷宪晨
  |  
 
基于稀疏轨迹数据的城市人群移动可视分析 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-01
黄聪聪
  |  
 
多线程程序中并发缺陷的动态分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-01
朱碧云
  |  
 
基于关联规则学习的带参验证系统 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-01
曹嘉伦
  |  
 

1 2 next

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