Medical Image Computing and Computer-Assisted Intervention-MICCAI 2005 8th International Conference
2005 年出版1018 页ISBN：3540293264
Lecture Notes in Computer Science 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con
2007 年出版631 页ISBN：9783540749738
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 2981 Organic and Pervasive Computing-ARCS 2004 International Confe
2004 年出版339 页ISBN：3540212388
Lecture Notes in Computer Science 3824 Embedded and Ubiquitous Computing-EUC 2005 International Conf
2005 年出版1204 页ISBN：3540308075
Lecture Notes in Computer Science 3715 Progress in Cryptology-Mycrypt 2005 First International Confe
2005 年出版329 页ISBN：3540289380
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：
Medical Image Computing and Computer-Assisted Intervention-MICCAI 2006 9th International Conference
2006 年出版981 页ISBN：354044727x
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
