Lecture Notes in Computer Science 3912 Active Networks IFIP TC6 6th International Working Conference
IWAN 20042007 年出版218 页ISBN：9783540714996
Lecture Notes in Computer Science 2935 Agent-Oriented Software Engineering IV 4th International Work
AOSE 20032004 年出版245 页ISBN：3540208267
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 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
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：
Lecture Notes in Computer Science 3795 Grid and Cooperative Computing-GCC 2005 4th International Con
2005 年出版1203 页ISBN：3540305106
