登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于Verds的C程序模型检测方法的研究
出版社：中国科学院
出版年：2013
作者：张广亮
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于Verds 的 c 语言子集模型检测方法研究
  • 作者：张兰兰
  • 出版社：中国科学院
  • 出版年：2013
...

基于Verds的C语言子集模型检测方法研究
  • 作者：张兰兰
  • 出版年：2013
...

基于分组压缩算法的并行程序模型检测
  • 作者：王云云
  • 出版年：2016
...

基于级联模型的人脸检测方法研究
  • 作者：时学鹏
  • 出版年：2018
...

基于部件模型的人体检测方法研究
  • 作者：宋松林
  • 出版年：2013
...

基于拓扑模型的行人检测方法研究
  • 作者：高文
  • 出版年：2013