Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN:1615207299
塑性力学与冲击动力学进展 ISPI 2011国际会议论文集=ADVANCES IN PLASTICITY AND IMPACT DYNAMICS PROCEEDINGS OF THE THIRD IN
孙庆平,金章教,赵亚浦主编2012 年出版208 页ISBN:7561462348
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X