Medical Image Computing and Computer-Assisted Intervention-MICCAI 2005 8th International Conference
2005 年出版942 页ISBN:3540293272
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN: