Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th Internatio
AMAST 20042004 年出版569 页ISBN:3540223819
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 4620 Transactions on Aspect-Oriented Software Development III
2007 年出版201 页ISBN:9783540751618
Lecture Notes in Computer Science 4242 Transactions on Aspect-Oriented Software Development II
2006 年出版289 页ISBN:9783540488903
Lecture Notes in Computer Science 3880 Transactions on Aspect-Oriented Software Development I
2006 年出版335 页ISBN:3540329722
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN:9783540496991
Lecture Notes in Computer Science 4640 Transactions on Aspect-Oriented Software Development IV
2007 年出版191 页ISBN:9783540770411
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN:3540260978
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN:3540208941