CORC

浏览/检索结果: 共4条,第1-4条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
attacking the dimensionality problem of parameterized systems via bounded reachability graphs 会议论文
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011
Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu
收藏  |  浏览/下载:15/0  |  提交时间:2013/09/22
Pendulum-like systems in Hilbert spaces and Lagrange stability 会议论文
Liu, Chao; Huang, Lin; Feng, Dexing
收藏  |  浏览/下载:1/0  |  提交时间:2015/11/16
Razumikhin-type theorems of infinite dimensional stochastic functional differential equations 会议论文
22nd IFIP TC7 Conference on System Modeling and Optimization, JUL 18-22, 2005
作者:  Liu, Kai;  Shi, Yufeng
收藏  |  浏览/下载:11/0  |  提交时间:2019/12/31
Characteristics of blasting vibration in presence of weak interlayers 会议论文
6th World Congress on Computational Mechanics held in conjunction with the 2nd Asian-Pacific Congress on Computational Mechanics, Beijing, PEOPLES R CHINA, SEP 05-10, 2004
作者:  Ding H(丁桦);  Shang XJ;  Bai JZ
收藏  |  浏览/下载:13/0  |  提交时间:2016/06/30


©版权所有 ©2017 CSpace - Powered by CSpace