Lecture Notes in Computer Science 3027 Advances in Cryptology-EUROCRPYT 2004 International Conferenc
2004 年出版628 页ISBN：3540219358
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN：3540236317
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
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
Putting Writing Research into Practice:Applications for Teacher Professional Development
GARY A.TROIA，REBECCA K.SHANKLAND，ANNE HEINTZ2010 年出版317 页ISBN：9781606236277
