Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
Lecture Notes in Artificial Intelligence 3067 Programming Multi-Agent Systems First International Wo
ProMAS 20032004 年出版221 页ISBN：3540221808
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3006 Selected Areas in Cryptography 10th Annual International Work
SAC 20032004 年出版361 页ISBN：3540213708
Lecture Notes in Computer Science 3014 Software Product-Family Engineering 5th International Worksho
PFE 20032004 年出版486 页ISBN：3540219412
Lecture Notes in Computer Science 2958 Languages and Compilers for Parallel Computing 16th Internati
LCPC 20032004 年出版556 页ISBN：3540211993
Lecture Notes in Artificial Intelligence 3030 Agent-riented Information Systems 5th International Bi
AOIS 20032004 年出版206 页ISBN：3540221271
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Artificial Intelligence 2915 Gesture-Based Communication in Human-Computer Intercti
GW 2003 Genova2222 年出版0 页ISBN：
