Bøger i Theoretical Computer Science and General Issues serien

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012.

This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. systems theory and applications; process modeling simulation and system optimization; systems applications.

Constitutes the post-conference proceedings of the 7th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2008, held in Tonsberg, Norway, in June/July 2008. This book addresses topics ranging from mathematical analysis of various methods to practical implementation on modern graphics processing units.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The papers cover a wide range of topics in the area of global computing and safe and reliable computation.

The third section, Modeling and Simulation, considers the theoretical modeling and computer simulation of large FCN circuits, as well as the use of simulations for gleaning physical insight into elementary FCN building blocks.

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.

This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The papers focus on constraint programming and global constraints;

Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming.

Constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The papers cover various topics in the field of Petri nets and related models of concurrency.

This book constitutes the refereed proceedings of the 29th International Supercomputing Conference, ISC 2014, held in Leipzig, Germany, in June 2014. The 34 revised full papers presented together were carefully reviewed and selected from 79 submissions. The papers cover the following topics: scalable applications with 50K+ cores;

The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. They cover cutting-edge research on swarm, evolutionary and memetic computing, neural and fuzzy computing and its application.

This book constitutes the refereed proceedings of the 7th International Conference on Combinatorial Optimization and Applications, COCOA 2013, held in Chengdu, China, in December 2013. The papers feature original research in the areas of combinatorial optimization and its applications.

Since 1998, EvoApplications - formerly known as EvoWorkshops- has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.

Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shanghai, China, June 6-9, 2010.

This book and its sister volume collect refereed papers presented at the 7th Inter- tional Symposium on Neural Networks (ISNN 2010), held in Shanghai, China, June 6-9, 2010.

Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.

Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010.

Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.

Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009.

Constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010.

software architectures and their models, refinement and verification; relationship between software requirements, models and code; models of object and component systems; service-oriented architectures: models and development methods; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.