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

Search Results

Help

Item hits: (Results 1-10 of 3253)

Filters    
Items/Page:    Sort:
基于SVM 算法的循环程序的终止性证明 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
孙学超
  |  
 
面向特定深度学习芯片的网络架构自动寻优技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
刘鹏坤
  |  
 
口令安全与口令认证协议关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
郭奕旻
  |  
 
CCS 互模拟等价关系及其完备公理系统的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
于婷婷
  |  
 
多智能体系统的形式验证方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
陈然
  |  
 
算法小世界现象及大规模图导航与查询高效算法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
刘俊
  |  
 
网络安全性的信息论度量和网络监测 [学位论文]
博士, 北京: 中国科学院研究生院, 2020-06-01
胡奇夫
  |  
 
便捷的高质量纹理滤波技术研究 [研究报告]
2020-06-01
徐盼盼
  |  
 
遥感图像语义分割的边缘增强和模型压缩研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-06-01
胡俊星
  |  
 
Wine环境下动态链接库函数调用序列监控技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2020-05-01
靳博
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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