|
已选(0)清除
条数/页： 排序方式：
|
| Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
  收藏 | 浏览/下载：5/0 | 提交时间：2017/12/03
|
| Open weak CAD and its applications 其他
2017-01-01
Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
收藏 | 浏览/下载：7/0 | 提交时间：2017/12/03
|
| Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏 | 浏览/下载：7/0 | 提交时间：2017/12/03
|
| 符号语言诠释下“女性自己的声音”——读《流动中的爱恋与婚育》 其他
2016-09-01
严静; Yan Jing
收藏 | 浏览/下载：12/0 | 提交时间：2017/03/07
|
| Towards Concolic Testing for Hybrid Systems 其他
2016-01-01
Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi
收藏 | 浏览/下载：9/0 | 提交时间：2017/12/03
|
| Isomorphic Regression Testing: Executing Uncovered Branches without Test Augmentation 其他
2016-01-01
Zhang, Jie; Lou, Yiling; Zhang, Lingming; Hao, Dan; Zhang, Lu; Mei, Hong
收藏 | 浏览/下载：17/0 | 提交时间：2017/12/03
|
| 文明、经济与布罗代尔的现实情怀 其他
2015-06-01
赖国栋; LAI Guo-dong
收藏 | 浏览/下载：3/0 | 提交时间：2016/03/04
|
| On cutting sequences of the L-shaped translation surface tiled by three squares 其他
2015-01-01
Wu ShengJian; Zhong YuMin
收藏 | 浏览/下载：4/0 | 提交时间：2017/12/03
|
| A dynamic stochastic model for automatic grammar-based test generation 其他
2015-01-01
Guo, Hai-Feng; Qiu, Zongyan
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| Proving inequalities and solving global optimization problems via simplified CAD projection 其他
2015-01-01
Han, Jingjun; Jin, Zhi; Xia, Bican
收藏 | 浏览/下载：6/0 | 提交时间：2017/12/03
|
