Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Medical Image Computing and Computer-Assisted Intervention-MICCAI 2006 9th International Conference
2006 年出版981 页ISBN:354044727x
Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200
2005 年出版599 页ISBN:354026972X