This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems (BIONETICS 2010) which was held in Boston, USA, in December 2010.
This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012.
This book constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012.
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012.
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012.
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012.
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012.
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.
This book constitutes the proceedings of the 5th International Conference on Similarity Search and Applications, SISAP 2012, held in Toronto, Canada, in August 2012.
This book constitutes the refereed proceedings of the International Conference Eco-friendly Computing and Communication Systems, ICECCS 2012, held in Kochi, Kerala, India, in August 2012.
This volume presents the proceedings of the Fourth International Conference on the Development of Biomedical Engineering in Vietnam which was held in Ho Chi Minh City as a Mega-conference.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012.
Photosynthesis is the process by which plants, algae and certain species of bacteria transform solar energy into chemical energy in the form of organic molecules.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Advances in Computer Games Conference, ACG 2011, held in Tilburg, The Netherlands, in November 2011.
This book constitutes the thoroughly refereed conference proceedings of the 14th International Conference on Information Security and Cryptology, held in Seoul, Korea, in November/December 2011.
The present book contains contributions presented at the Fourth Symposium on Hybrid RANS-LES Methods, held in Beijing, China, 28-30 September 2011, being a continuation of symposia taking place in Stockholm (Sweden, 2005), in Corfu (Greece, 2007), and Gdansk (Poland, 2009).
This book constitutes the refereed proceedings of the 7th Brazilian Symposium on Bioinformatics, BSB 2012, held in Campo Grande, Brazil, in August 2012.
This book is based upon lectures presented in the summer of 2009 at the INFN-Laboratori Nazionali di Frascati School on Attractor Mechanism, directed by Stefano Bellucci.
This book constitutes the refereed proceedings of the 18th Annual International Conference on Computing and Combinatorics, held in Sydney, Australia, in August 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orleans, France, during September 3-7, 2012.
This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012.
This contributed volume collects the scientific results of the DFG Priority Program 1180 Prediction and Manipulation of the Interactions between Structures and Processes.
This book constitutes the refereed proceedings of the 19th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2012, held in Grenoble, France, in June 2012.
The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012.
This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration, WBIR 2012, held in Nashville, Tennessee, USA, in July 2012.
This book constitutes the refereed proceedings of the 19th International Conference on Computer Networks, CN 2012, held in Szczyrk, Poland, in June 2012.
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012.
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012.
This book constitutes the refereed proceedings of the 4th International Conference on Information Technologies in Biomedicine, ITIB 2012, held in Goglin, Poland, in June 2012.
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012.
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012.
This book constitutes the refereed proceedings of the 19th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2012, held in Reykjavik, Iceland for 3 days starting June 30, 2012.
This book constitutes the refereed proceedings of the 15th International Conference on Practice and Theory in Public Key Cryptography, PKC 2012, held in Darmstadt, Germany, in May 2012.
This book constitutes the refereed proceedings of the 9th International Workshop on Algorithms and Models for the Web-Graph, WAW 2012, held in Halifax, Nova Scotia, Canada, in June 2012.
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2012, held in Bristol, UK, in September 2012.
This book constitutes the refereed proceedings of the International Symposium on Bioinformatics Research and Applications, ISBRA 2012, held in Dallas, Texas, USA, in May 2012.
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012.
This book constitutes revised and selected papers of the 9th European Workshop on Reinforcement Learning, EWRL 2011, which took place in Athens, Greece in September 2011.
The book addresses a number of recent topics at the crossroad of philosophy and cognitive science, taking advantage of both the western and the eastern perspectives and conceptions that emerged and were discussed at the PCS2011 Conference recently held in Guangzhou.
