|
已选(0)清除
条数/页： 排序方式：
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
  收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| 基于三维RVSP多孔联合技术煤矿采空区的探测 期刊论文
2015, 2015
尹奇峰; 潘冬明; 于景邨; 刘盛东
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/15
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| 安全苛刻系统自动化测试的形式化语义模型 期刊论文
软件学报, 2014, 卷号: 25, 页码: 489-505
作者: Lü, Jiang-Hua; Ma, Shi-Long; Li, Xian-Jun; Gao, Shi-Wei
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| 程序设计语言中的继续：理论与实践 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
喻钢
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| 高阶时段演算及其完备性 期刊论文
中国科学E辑, 2001, 卷号: 31, 期号: 1, 页码: 71-85
詹乃军
收藏 | 浏览/下载：8/0 | 提交时间：2010/08/24
|
| 高阶时段演算及其应用 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000
詹乃军
收藏 | 浏览/下载：6/0 | 提交时间：2011/03/17
|
| 高等应用数学方法 译著
题名作者(美)本德(Bender CM), 奥斯扎戈(Orszag SA), 李家春等译出版地出版地出版时间
作者: (美)本德(Bender CM); 奥斯扎戈(Orszag SA); 李家春等译
收藏 | 浏览/下载：137/0 | 提交时间：2012/12/07 |
| 高阶入演算与代数重写技术 学位论文
作者: 曾立新[1]
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/30 |
