|
已选(0)清除
条数/页： 排序方式：
|
| 基于抽象解释和利普希茨常数的深度神经网络鲁棒性验证 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 杨鹏飞
  收藏 | 浏览/下载：11/0 | 提交时间：2021/06/25 |
| 信息可视化中的交互技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
任磊
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| 基于抽象解释的代码迷惑有效性比较框架 期刊论文
计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
收藏 | 浏览/下载：61/6 | 提交时间：2011/07/01
|
| 基于ICU的复杂文本布局引擎设计与应用 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
周扬荣
收藏 | 浏览/下载：17/0 | 提交时间：2011/03/17
|
| Statecharts的组合语义与求精 期刊论文
软件学报, 2006, 期号: 4, 页码: 670-681
朱雪阳; 唐稚松
收藏 | 浏览/下载：13/0 | 提交时间：2011/07/13
|
| 高安全级操作系统形式设计的研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
季庆光
收藏 | 浏览/下载：10/0 | 提交时间：2011/03/17
|
| 基于Web服务的流程协作研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
叶春杨
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
| 高阶时段演算及其完备性 期刊论文
中国科学E辑, 2001, 卷号: 31, 期号: 1, 页码: 71-85
詹乃军
收藏 | 浏览/下载：8/0 | 提交时间：2010/08/24
|
| 基于XML的分布式软件体系结构研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
张波
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| Java编译技术的研究与实现 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999
冀振燕
收藏 | 浏览/下载：9/0 | 提交时间：2011/03/17
|
