Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN:3540333398
Lecture Notes in Computer Science 3434 Graph-Based Representations in Pattern Recognition 5th IAPR I
GbRPR 2005 Poitiers2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
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