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

MPICH同步通信程序死锁检测研究
出版社：中国科学院
出版年：2008
作者：廖名学
资源类型：图书
细分类型：中文文献,学位论文
5浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于Petri网的多线程死锁检测研究
  • 作者：黄理
  • 出版年：2015
...

UWB通信系统的信号检测与同步技术研究
  • 作者：马彥
  • 出版年：2012
...

C程序测试数据生成与死循环检测研究
  • 作者：阮辉
  • 出版社：中国科学院
  • 出版年：2009
...

深度学习程序缺陷检测
  • 作者：刘晨
  • 出版社：中国科学院计算技术研究所
  • 出版年：2024
...

PLC程序组合检测理论与方法
  • 作者：肖力田
  • ISBN：9787302617587
  • 出版社：清华大学出版社
  • 出版年：2022
...

基于值流分析的Go语言程序缺陷检测研究
  • 作者：傅书豪
  • 出版社：中国科学技术大学
  • 出版年：2025