This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7-9, 2009 in Turin, Italy.
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M' alaga, Spain as part of TOOLS Federated Conferences.
Theidea ofa refereedconferencefor the mathematicalprogrammingcommunity was proposed by Ravi Kannan and William Pulleyblank to the Mathematical Programming Society (MPS) in the late 1980s.
The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009.
This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii, USA in December 2009.
This book constitutes the refereed proceedings of the 10th International Conference on Cryptology in India, INDOCRYPT 2009, held in New Dehli, India, in December 2009.
This book constitutes the refereed proceedings of the The Second International Workshop on Optical SuperComputing, OSC 2009, held in Bertinoro, Italy, in November 2009.
th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing (ICONIP 2009), held in Bangkok, Thailand, during December 1-5, 2009.
th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing (ICONIP 2009), held in Bangkok, Thailand, during December 1-5, 2009.
This volume constitutes the refereed proceedings of the 13th International Workshop on Combinatorial Image Analysis, IWCIA 2009, held in Playa del Carmen, Mexico, in November 2009.
This volume is part of the two-volume proceedings of the 19th International Conf- ence on Artificial Neural Networks (ICANN 2009), which was held in Cyprus during September 14-17, 2009.
This volume is part of the two-volume proceedings of the 19th International Conf- ence on Artificial Neural Networks (ICANN 2009), which was held in Cyprus during September 14-17, 2009.
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc.
This book constitutes the proceedings of the 6th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2009, held on Awaji Island, Japan, in November/December 2009.
This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009.
This book constitutes the refereed proceedings of the 12th International Conference on Information Security Conference, ISC 2009, held in Pisa, Italy, September 7-9, 2009.
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc.
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009.
This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Neural Information Processing, ICONIP 2008, held in Auckland, New Zealand, in November 2008.
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway.
The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Neural Information Processing, ICONIP 2008, held in Auckland, New Zealand, in November 2008.
This volume presents the set of final accepted papers for the tenth edition of the IWANN conference "e;International Work-Conference on Artificial neural Networks"e; held in Salamanca (Spain) during June 10-12, 2009.
