Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN：3540266550
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 3015 Passive and Active Network Measurement 5th International Work
PAM 20042004 年出版300 页ISBN：3540214925
Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 3224 Recent Advances in Intrusion Detection 7th International Symp
RAID 20042004 年出版315 页ISBN：3540231234
Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice
ASM 20042004 年出版235 页ISBN：3540220941
Lecture Notes in Artificial Intelligence 3508 Agent-Oriented Information Systems II 6th Internationa
AOIS 20042005 年出版226 页ISBN：3540259112
Lecture Notes in Computer Science 3172 Ant Colony Optimization and Swarm Intelligence 4th Internatio
ANTS 20042004 年出版434 页ISBN：3540226729
Lecture Notes in Computer Science 3199 Software and Compilers for Embedded Systems 8th International
SCOPES 20042004 年出版259 页ISBN：3540230351
Lecture Notes in Computer Science 3054 Component-Based Software Engineering 7th International Sympos
CBSE 20042004 年出版311 页ISBN：3540219986
