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,
In celebration of Prof. Morik's 60th birthday, this Festschrift covers research areas that Prof. Morik worked in and presents various researchers with whom she collaborated. The 23 refereed articles i
Tracing the story of computing from Babyloniancounting boards to smartphones, this inspiring textbook provides a conciseoverview of the key events in the history of computing, together withdiscussion
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full
This book constitutes the refereed proceedings of the two International Workshops on Big-Graphs Online Querying, Big-O(Q) 2015, and Data Management and Analytics for Medicine and Healthcare, DMAH 2015
This book constitutes the refereed proceedings of the 8th International Conference on Social Computing and Social Media, SCSM 2015, held as part of the 18th International Conference on Human-Computer
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on
This book constitutes the proceedings of the 4th International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2016, held as part of the 18th International Conference on H
