Mathematical theory of computation

As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others.

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.

Internet-based information systems, the second covering the large-scale in- gration of heterogeneous computing systems and data resources with the aim of providing a global computing space.

This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 2009.

This book constitutes the refereed proceedings of the Fourth International Conference on Rough Sets and Knowledge Technology, RSKT 2009, held in Gold Coast, Australia, in July 2009.

This book constitutes the proceedings of the Second International Conference on Cryptology in Africa, AFRICACRYPT 2009, held in Gammarth, Tunisia, on June 21-25, 2009.

This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009.

The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009.

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009.

This book constitutes the refereed proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-18, held in Tarragona, Spain, in June 2009.

The First Asian Conference on Machine Learning (ACML 2009) was held at Nanjing, China during November 2-4, 2009.

This book constitutes the refereed proceedings of the 13th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2009, held in Bangkok, Thailand, in April 2009.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Networks for Grid Applications, GridNets 2008, held in Beijing, China in October 2008.

This book constitutes the refereed proceedings of the 11th IFIP WG 6.

ICSR is the premier international conference in the ?

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008.

This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.

This book constitutes the refereed proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2009, held in Amsterdam, The Netherlands, in June 2009.

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming.

This volume comprises a selection of papers presented at the first International C- ference on Mathematics and Computation in Music - mcm2007.

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009.

This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tubingen, Germany, in April 2009 colocated with the Evo* 2009 events.

This book constitutes the refereed proceedings of the 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2009, held in Cologne, Germany, in April 2009.

This volume contains the papers presented at ESA 2009: The 17th Annual - ropean Symposium on Algorithms, September 7-9, 2009.

This book constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009.

This book constitutes the refereed proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2009, held in Tubingen, Germany, in April 2009.

This book and its companion volumes, LNCS vols.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.

The 32nd Annual German Conference on Arti?

This book constitutes the proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, FinanceCom2008, held in Paris, France, on December 13, 2008.

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009.

This book constitutes the refereed proceedings of the 11th International Conference on Information Security and Cryptology, ICISC 2008, held in Seoul, Korea, during December 3-5, 2008.

This book constitutes the refereed proceedings of the 11th European Conference on Genetic Programming, EuroGP 2009, held in Tubingen, Germany, in April 2009 colocated with the Evo* 2009 events.

This book constitutes the refereed proceedings of the 8th International Conference on Independent Component Analysis and Signal Separation, ICA 2009, held in Paraty, Brazil, in March 2009.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th Pacific Rim International Workshop on Multi-Agents, PRIMA 2007, held in Bankok, Thailand, in November 2007.

Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting in distributed environments.