Bücher der Reihe Theoretical Computer Science and General Issues

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions.

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013.

This book constitutes the refereed proceedings of the 8th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2013, held in Zhangjiajie, China, in August 2013.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions.

He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

In celebration of his 66th birthday the colloquium "Conference on Space Efficient Data Structures, Streams and Algorithms" was held in Waterloo, ON, Canada, during August 15-16, 2013. Together they give a good overall perspective of the last 40 years of research in algorithms and data structures.

The three volume set LNCS 8226, LNCS 8227, and LNCS 8228 constitutes the proceedings of the 20th International Conference on Neural Information Processing, ICONIP 2013, held in Daegu, Korea, in November 2013. These papers cover all major topics of theoretical research, empirical study and applications of neural information processing research.

They address topics related to graph-theoretic and algorithmic aspects of related complex networks, including citation networks, social networks, biological networks, molecular networks and other networks arising from the Internet.

The typical areas include distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing (including autonomous robots), peer to peer systems, communication complexity, fault tolerant graph theories and randomized/probabilistic issues in networks.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2012, held in Oslo, Norway, in June/July 2012. The topics range from mathematical analysis of various methods to practical implementation on modern graphics processing units.

Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2014, held in Vilamoura, Portugal, in April 2014.

This book constitutes the refereed proceedings of the 7th International Conference, FUN 2014, held in July 2014 in Lipari Island, Sicily, Italy. The 29 revised full papers were carefully reviewed and selected from 49 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2013, held Boston, MA, USA, in May 2013.

The selected papers cover various aspects on hybrid learning, computer supported collaborative learning, expericiences in hybrid learning, improved flexibility on learning processes and the pedagogical and psychological issues of hybrid learning.

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 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 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.

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Large-Scale Scientific Computations, LSSC 2013, held in Sozopol, Bulgaria, in June 2013. large-scale models: numerical methods, parallel computations and applications;

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Computers and Games, CG 2013, held in Yokohama, Japan, in August 2013, in conjunction with the 17th Computer and Games Tournament and the 20th World Computer-Chess Championship.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.