Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 4150 Ant Colony Optimization and Swarm Intelligence 5th Internatio
ANTS 20062006 年出版526 页ISBN：3540384820
Lecture Notes in Computer Science 4199 Model Driven Engineering Languages and Systems 9th Internatio
MODELS 20062006 年出版794 页ISBN：3540457720
Lecture Notes in Computer Science 3713 Model Driven Engineering Languages and Systems 8th Internatio
MoDELS 20052005 年出版722 页ISBN：3540290109
Lecture Notes in Computer Science 3172 Ant Colony Optimization and Swarm Intelligence 4th Internatio
ANTS 20042004 年出版434 页ISBN：3540226729
Lecture Notes in Computer Science 3754 Management of Multimedia Networks and Services 8th Internatio
MMNS 20052005 年出版384 页ISBN：3540296417
Lecture Notes in Computer Science 2288 Information Security and Cryptology-ICISC 2001 4th Internatio
2002 年出版457 页ISBN：3540433198
Lecture Notes in Computer Science 2971 Information Security and Cryptology-ICISC 2003 6th Internatio
2004 年出版458 页ISBN：3540213767
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th Internatio
2006 年出版358 页ISBN：9783540491125
Lecture Notes in Computer Science 3935 Information Security and Cryptology-ICISC 2005 8th Internatio
2006 年出版458 页ISBN：3540333541
