Lecture Notes in Computer Science 2935 Agent-Oriented Software Engineering IV 4th International Work
AOSE 20032004 年出版245 页ISBN：3540208267
Lecture Notes in Computer Science 3775 Ambient Networks 16th IFIP/IEEE International Workshop on Dis
DSOM 20052005 年出版281 页ISBN：3540293884
Lecture Notes in Computer Science 2207 Active Networks IFIP-TC6 Third International Working Conferen
IWAN 20012001 年出版163 页ISBN：3540426787
Lecture Notes in Computer Science 3382 Agent-Oriented Software Engineering V 5th International Works
AOSE 20042005 年出版237 页ISBN：3540242864
Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442
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 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
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 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
