Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4521 Applied Cryptography and Network Security 5th International C
ACNS 20072007 年出版498 页ISBN：9783540727378
Lecture Notes in Computer Science 4150 Ant Colony Optimization and Swarm Intelligence 5th Internatio
ANTS 20062006 年出版526 页ISBN：3540384820
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 4228 Modular Programming Languages 7th Joint Modular Languages Con
JMLI 20062006 年出版415 页ISBN：3540409270
Lecture Notes in Computer Science 4173 Cellular Automata 7th International Conference on Cellular Au
ACRI 20062006 年出版735 页ISBN：3540409297
Lecture Notes in Computer Science 3989 Applied Cryptography and Network Security 4th International C
ACNS 20062006 年出版488 页ISBN：3540347038
Lecture Notes in Computer Science 4608 Component-Based Software Engineering 10th International Sympo
CBSE 20072007 年出版283 页ISBN：9783540735502
Lecture Notes in Computer Science 4583 Typed Lambda Calculi and Applications 8th International Confe
TLCA 20072007 年出版397 页ISBN：9783540732273
Lecture Notes in Computer Science 4081 Data Warehousing and Knowledge Discovery 8th International Co
DAWAK 20062006 年出版578 页ISBN：3540377360
