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

一种全新的证明规范化解存在性的统一框架及其应用和相关研究
出版社：中国科学院数学与系统科学研究院
出版年：2023
作者：宋林杰
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

一种统一混合网络理论框架及其应用
  • 作者：方锦清
  • ISBN：9787040560114
  • 出版社：高等教育出版社
  • 出版年：2021
...

一种基于消息机制的程序框架及其应用研究
  • 作者：李文烨
  • 出版社：中国科学院
  • 出版年：2003
...

一种laaS模式下的云取证框架研究
  • 作者：谢亚龙
  • 出版社：中国科学院
  • 出版年：2013
...

一种IaaS模式下的云取证框架研究
  • 作者：谢亚龙
  • 出版年：2013
...

一种软件过程复用框架及其关键技术研究
  • 作者：刘经纬
  • 出版社：中国科学院
  • 出版年：2005
...

一种具有多级安全标记的权能访问控制模型及隔离性证明
  • 作者：周鹏颖
  • 出版年：2014