|
已选(0)清除
条数/页： 排序方式：
|
| 智能合约的时间约束模式及其形式化验证 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者: 赵颖琪
  收藏 | 浏览/下载：193/0 | 提交时间：2021/12/09
|
| 关注拓扑的三维模型参数化算法研究 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 赵辉
收藏 | 浏览/下载：28/0 | 提交时间：2021/12/08 |
| 面向 LLVM IR 的异常控制流不可行性分析 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者: 刘力铭
收藏 | 浏览/下载：26/0 | 提交时间：2022/01/13 |
| 时滞动态系统的安全验证 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者: 刘文有
收藏 | 浏览/下载：18/0 | 提交时间：2021/06/21 |
| 混成系统的安全控制器合成与分析 学位论文
博士, 北京: 中国科学院大学, 2021
作者: 白云军
收藏 | 浏览/下载：19/0 | 提交时间：2021/06/21 |
| 基于物理的织物污渍时变材质模拟研究 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 郑屹
收藏 | 浏览/下载：33/0 | 提交时间：2021/06/21 |
| 扩展正则表达式及其自动机的学习算法的研究 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 汪小凡
收藏 | 浏览/下载：14/0 | 提交时间：2021/06/22
|
| 含有指针算术和归纳定义的分离逻辑判定算法 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者: 苏婉昀
收藏 | 浏览/下载：13/0 | 提交时间：2021/06/19 |
| 移动嵌入式可信执行环境和数据隐私保护研究 学位论文
博士, 北京: 中国科学院大学, 2021
作者: 刘敬彬
收藏 | 浏览/下载：11/0 | 提交时间：2021/06/21 |
| 增强特征提取有效性的图像显著性检测方法研究 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 张哲
收藏 | 浏览/下载：9/0 | 提交时间：2021/06/22 |
