Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 4245 Discrete Geometry for Computer Imagery 13th International Con
DGCI 20062006 年出版688 页ISBN：3540476512
Lecture Notes in Computer Science 3429 Discrete Geometry for Computer Imagery 12th International Con
DGCI 20052005 年出版428 页ISBN：3540255133
Lecture Notes in Computer Science 3269 Information and Communications Security 6th International Con
ICICS 20042004 年出版564 页ISBN：3540235639
Lecture Notes in Computer Science 3783 Information and Communications Security 7th International Con
ICICS 20052005 年出版492 页ISBN：3540309349
Lecture Notes in Computer Science 4307 Information and Communications Security 8th International Con
ICICS 20062006 年出版558 页ISBN：9783540494966
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
