Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 3645 Advances in Intelligent Computing International Conference on
ICIC 2005 Part II2005 年出版1013 页ISBN：3540282270
Lecture Notes in Computer Science 3644 Advances in Intelligent Computing International Conference on
ICIC 2005 Part I2005 年出版1101 页ISBN：3540282262
Lecture Notes in Computer Science 4841 Advances in Visual Computing Third International Symposium
ISVC 2007 Part I2007 年出版831 页ISBN：9783540768579
Lecture Notes in Computer Science 4291 Advances in Visual Computing Second International Symposium
ISVC 2006 Part I2006 年出版916 页ISBN：9783540486282
Lecture Notes in Computer Science 4221 Advances in Natural Computation Second International Conferen
ICNC 2006 Part I2006 年出版992 页ISBN：3540459014
Lecture Notes in Computer Science 4292 Advances in Visual Computing Second International Symposium
ISVC 2006 Part II2006 年出版906 页ISBN：9783540486288
Lecture Notes in Computer Science 4842 Advances in Visual Computing Third International Symposium
ISVC 2007 Part II2007 年出版827 页ISBN：9783540768555
Lecture Notes in Computer Science 4222 Advances in Natural Computation Second International Conferen
ICNC 2006 Part II2006 年出版998 页ISBN：3540459073
