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

Search Results

Help

Item hits: (Results 1-10 of 848)

Filters    
Items/Page:    Sort:
智能合约的时间约束模式及其形式化验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-11-25
赵颖琪
  |  
 
关注拓扑的三维模型参数化算法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-11-01
赵辉
  |  
 
面向 LLVM IR 的异常控制流不可行性分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-11-01
刘力铭
  |  
 
时滞动态系统的安全验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-28
刘文有
  |  
 
混成系统的安全控制器合成与分析 [学位论文]
博士, 北京: 中国科学院大学, 2021-05-28
白云军
  |  
 
基于物理的织物污渍时变材质模拟研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-28
郑屹
  |  
 
扩展正则表达式及其自动机的学习算法的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-27
汪小凡
  |  
 
含有指针算术和归纳定义的分离逻辑判定算法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-26
苏婉昀
  |  
 
移动嵌入式可信执行环境和数据隐私保护研究 [学位论文]
博士, 北京: 中国科学院大学, 2021-05-26
刘敬彬
  |  
 
增强特征提取有效性的图像显著性检测方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-26
张哲
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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