|
已选(0)清除
条数/页： 排序方式：
|
| 含有指针算术和归纳定义的分离逻辑判定算法 学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者: 苏婉昀
  收藏 | 浏览/下载：14/0 | 提交时间：2021/06/19 |
| 带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 学位论文
硕士, 北京: 中国科学院大学, 2019
作者: 高冲
收藏 | 浏览/下载：23/0 | 提交时间：2019/06/17
|
| 带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具实现 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 古新才
收藏 | 浏览/下载：10/0 | 提交时间：2017/07/08 |
| 笔式用户界面敏捷开发工具及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2010
华超
收藏 | 浏览/下载：8/0 | 提交时间：2010/06/04
|
| 电子商务公平协议设计与分析方法研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
刘冬梅
收藏 | 浏览/下载：11/0 | 提交时间：2010/06/03
|
| 面向流程企业的可配置MES体系结构 期刊论文
化工学报, 2010, 卷号: 61, 期号: 2, 页码: 352-358
李德芳; 张朝俊; 蒋白桦; 刘伟
收藏 | 浏览/下载：9/0 | 提交时间：2011/05/24
|
| 分布式系统中必然方式下的谓词检测 学位论文
硕士, 中国科学院软件研究所5号楼337: 中国科学院软件研究所, 2009
-
收藏 | 浏览/下载：5/0 | 提交时间：2009/06/11 |
| 基于最终用户开发的表格数据分析关键技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：8/0 | 提交时间：2009/06/12
|
| 支持场景方法的界面设计工具 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：13/0 | 提交时间：2009/06/11
|
| 基于WorkManager的Web应用服务器并发运行环境的设计与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
张磊
收藏 | 浏览/下载：16/0 | 提交时间：2011/03/17
|
