Lecture Notes in Computer Science 3656 Image Analysis and Recognition Second International Conferenc
ICIAR 20052005 年出版1279 页ISBN：3540290699
Lecture Notes in Computer Science 3531 Applied Cryptography and Network Security Third International
ACNS 20052005 年出版530 页ISBN：3540262237
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN：354038619X
Lecture Notes in Computer Science 3510 Wired/Wireless Internet Communications Third International Co
WWIC 20052005 年出版366 页ISBN：354025899X
Lecture Notes in Computer Science 3351 Approximation and Online Algorithms Second International Work
WAOA 2004 Bergen2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
