Lecture Notes in Computer Science 3806 Web Information Systems Engineering-WISE 2005 6th Internation
2005 年出版771 页ISBN：3540300171
Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation
2007 年出版675 页ISBN：9783540769927
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 3382 Agent-Oriented Software Engineering V 5th International Works
AOSE 20042005 年出版237 页ISBN：3540242864
Lecture Notes in Computer Science 3950 Agent-Oriented Software Engineering VI 6th International Work
AOSE 20052006 年出版247 页ISBN：3540340971
Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
