Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
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
Lecture Notes in Computer Science 4351 Advances in Multimedia Modeling 13th International Multimedia
MMM 2007 Singapore2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4351 Advances in Multimedia Modeling 13th International Multimedia
MMM 2007 Singapore2222 年出版0 页ISBN:
Machine Vision Automated Visual Inspection and Robot Vision
1991 年出版260 页ISBN:0135433983
CYBERNETICS OR CONTROL AND COMMUNICATION IN THE ANIMAL AND THE MACHINE
NORBERT WIENER1948 年出版194 页ISBN: