Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 3759 Parallel and Distributed Processing and Applications-ISPA 200
2005 年出版669 页ISBN：3540297707
Lecture Notes in Computer Science 3605 Embedded Software and Systems First International Conference
ICESS 2004 Hangzhou2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN：354038619X
Lecture Notes in Computer Science 3351 Approximation and Online Algorithms Second International Work
WAOA 2004 Bergen2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN：354026003X
