Lecture Notes in Computer Science 3974 Principles of Distributed Systems 9th International Conferenc
OPODIS 20052006 年出版444 页ISBN：9783540363217
Lecture Notes in Computer Science 4436 Foundations of Genetic Algorithms 9th International Workshop
FOGA 20072007 年出版213 页ISBN：9783540734796
Lecture Notes in Computer Science 4354 Practical Aspects Of Declarative Languages 9th International
PADL 20072007 年出版335 页ISBN：9783540696087
Lecture Notes in Computer Science 3826 Service-Oriented Computing-ICSOC 2005 Third International Con
2005 年出版599 页ISBN：3540308172
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4089 Software Composition 5th International Symposium
SC 20062006 年出版339 页ISBN：3540376577
Lecture Notes in Computer Science 4829 Software Composition 6th International Symposium
SC 20072007 年出版281 页ISBN：9783540773504
Lecture Notes in Computer Science 3628 Software Composition 4th International Workshop
SC 20052005 年出版199 页ISBN：3540287485
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
