This book constitutes the refereed proceedings of the 9th International Conference on Social Robotics, ICSR 2016, held in Tsukuba, Japan, in November 2017.The 74 revised full papers presented were car
This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The importan
This book highlights state-of-the-art developments in metaheuristics research. It examines all aspects of metaheuristic research including new algorithmic developments, applications, new research chal
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It incl
John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computi
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were caref
This textbook offers undergraduate students an introduction to the main principles and some of the most popular techniques that constitute ‘software quality assurance’. The book seeks to engage studen
Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development presents a specification for Topological UML® that combines the formalism of the Topological Functioning Mod
This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial e
This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling problems in science and technology, and has become a vital component to computer scien
This book provides a straightforward overview for every researcher interested in stochastic dynamic vehicle routing problems (SDVRPs). The book is written for both the applied researcher looking for s
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contrib
This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
This accessible and classroom-tested textbook/reference presents an introduction to the fundamentals of the emerging and interdisciplinary field of data science. The coverage spans key concepts adopte
This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing s
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available i
Multi-Dimensional Summarization in Cyber-Physical Society summarizes previous text summarization approaches in a multi-dimensional classification space, introduces a multi-dimensional methodology for
This textbook explains online computation in different settings, with particular emphasis on the paging problem and advice complexity. The book is organized into chapters on randomization, advice comp
This book presents a systematic model-based approach for software architecture description according to three complementary viewpoints: structure, behavior, and execution. It covers a unified modeling
Complex Systems and Clouds provides insights into the intricate world of self-organizing systems. Large scale distributed computer systems have evolved into very complex systems and are at the point
This book highlights recent advances in the development of effective modeling and solution approaches to enhance the performance of military logistics. It seeks to further research in global defense-r
This book constitutes the proceedings of the First International Conference on Interactive Collaborative Robotics, ICR 2016, held in Budapest, Hungary, in August 2016.The 29 papers presented in this v
This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full
This book constitutes the refereed proceedings of the 7th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2016, held in Porto, Portugal, in Septembe
The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and info
This bookconstitutes the thoroughly revised selected papers of the workshops of the 14thInternational Conference of Web Based Learning, ICWL 2015, held in Guangzhou,China, in November 2015. This
The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in
This book constitutes the thoroughly refereed post-workshop proceedings at PAKDD Workshops 2016, held in conjunction with PAKDD, the 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining
This book constitutes the refereed conference proceedings of the 29th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, held in M
This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016. The 11 full papers presented were careful
The two volume set LNCS 9758 and 9759, constitutes the refereed proceedings of the 15th International Conference on Computers Helping People with Special Needs, ICCHP 2015, held in Linz, Austria, in J
The two-volume set LNCS 9722 and LNCS 9723 constitutes the refereed proceedings of the 21st Australasian Conference on Information Security and Privacy, ACISP 2016, held in Melbourne, VIC, Australia,
