This book constitutes the thoroughly refereed post-proceedings of the Third Workshop on Combinatorial and Algorithmic Aspects of Networking, held in C......
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and ele......
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer......
This book constitutes the refereed proceedings of the 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006, held in Busan, Korea ......
This book constitutes the refereed proceedings of the 5th International Workshop on Document Analysis Systems, DAS 2002, held in Princeton, NJ, USA in......
This book constitutes the refereed proceedings of the Third International Conference on Technologies for Interactive Digital Storytelling and Entertai......
"Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordi......
This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Metaheuristics, HM 2006, held in Gran Canaria, Spain, in ......
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT......
This book constitutes the refereed proceedings of the 5th IFIP/IEEE International Conference on the Management of Multimedia Networks and Services, MM......
This book constitutes the refereed proceedings of the First Pacific Rim Symposium on Image and Video Technology, PSIVT 2006, held in Hsinchu, Taiwan i......
This book constitutes the refereed proceedings of the 25th Annual German conference on Artificial Intelligence, KI 2002, held in Aachen, Germany in Se......
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Ha......
This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in......
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2005, hel......
This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia ......
This book constitutes the refereed proceedings of the 13th International Conference on Interactive Technologies and Sociotechnical Systems, VSMM 2006,......
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.T......
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Inter......
This book constitutes the thoroughly refereed post-proceedings of the NATO Advanced Research Workshop on Cluster Computing, IWCC 2001, held in Mangali......
