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 4199 Model Driven Engineering Languages and Systems 9th Internatio
MODELS 20062006 年出版794 页ISBN：3540457720
Lecture Notes in Computer Science 4592 Natural Language Processing and Onformation Systems 12th Inte
NLDB 20072007 年出版442 页ISBN：9783540733508
Lecture Notes in Computer Science 3989 Applied Cryptography and Network Security 4th International C
ACNS 20062006 年出版488 页ISBN：3540347038
Lecture Notes in Computer Science 3136 Natural Language Processing and Information Systems 9th Inter
NLDB 20042004 年出版436 页ISBN：3540225641
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
