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

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

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

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

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

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

基于Verds的C程序模型检测方法的研究
  • 作者：张广亮
  • 出版社：中国科学院
  • 出版年：2013
...

Android应用程序恶意行为检测关键技术研究
  • 作者：吴俊昌
  • 出版年：2013