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
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X
Lecture Notes in Computer Science 3352 Security in Communication Networks 4th International Conferen
SCN 20042005 年出版381 页ISBN:3540243011