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

Java内存模型的动静态结合验证方法
出版年：2018
作者：李亮
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Java内存模型的动态验证
  • 作者：赵晓凯
  • 出版年：2015
...

动静态结合的图像编码
  • 作者：谭永
  • 出版年：2006
...

动静态结合的二进制重写技术研究
  • 作者：田力楠
  • 出版社：中国科学院信息工程研究所
  • 出版年：2022
...

ArbLCheck:支持仲裁的内存一致性模型验证方法及其实现
  • 作者：梁佳辉
  • 出版社：中国科学院软件研究所
  • 出版年：2019
...

岩石动态模型与静态性质预测研究
  • 作者：李诺
  • 出版社：中国科学院声学研究所
  • 出版年：2019
...

动静态结合的恶意PowerShell检测关键技术研究
  • 作者：韩高奎
  • 出版社：中国科学院信息工程斫究所,中国科学院信息工程趼究所,中国科学院信息工程研究所
  • 出版年：2023