This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016.
This book constitutes revised selected papers from the 24th International Symposium on Graph Drawing and Network Visualization, GD 2016, held in Athens, Greece, in September 2016.
This accessible and classroom-tested textbook/reference presents an introduction to the fundamentals of the emerging and interdisciplinary field of data science.
This book constitutes the refereed proceedings of the 17th International Conference on Cryptology in India, INDOCRYPT 2016, held in Kolkata, India, in December 2016.
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
This book constitutes the refereed proceedings of the 8th International Conference on Brain Inspired Cognitive Systems, BICS 2016, held in Beijing, China, in November 2016.
This book constitutes the refereed proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2016, held in Granada, Spain, in December 2016.
This book constitutes the thoroughly refereed post-workshop proceedings of the 17th Chinese Lexical Semantics Workshop, CLSW 2016, held in Singapore, Singapore, in May 2016.
Algorithm Engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to obtain better algorithms with high practical impact.
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 science, computer science and engineering, and mathematics curricula of universities all over the world.
This book constitutes the refereed proceedings of the 16th International Conference on Innovations for Community Services, I4CS 2016, held in Vienna, Austria, in June 2016.
This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems.
This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016.
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016, held in Sendai, Japan, in December 2016.
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016.
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2015, held in Hyderabad, India, in December 2015.
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
Current and historical research methods in approximation theory are presented in this book beginning with the 1800s and following the evolution of approximation theory via the refinement and extension of classical methods and ending with recent techniques and methodologies.
This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015.
This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, COCOA 2016, held in Hong Kong, China, in December 2016.
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance.
This book constitutes the thoroughly refereed post-conference proceedings of the 18th Japanese Conference on Discrete and Computational Geometry and Graphs, JDCDGG 2015, held in Kyoto, Japan, in September 2015.
This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016, held in Helsinki, Finland in July 2016.
This book explores emerging topics in atomic- and nano-scale electronics after the era of Moore's Law, covering both the physical principles behind, and technological implementations for many devices that are now expected to become key elements of the future of nanoelectronics beyond traditional complementary metal-oxide semiconductors (CMOS).
This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed.
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
This book constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2016, held in Santiago de Chile, Chile, in October 2016.
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016.
This book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam.
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2016, held in Rome, Italy, in June 2016.
This volume consists of papers inspired by the special session on pseudo-differential operators at the 10th ISAAC Congress held at the University of Macau, August 3-8, 2015 and the mini-symposium on pseudo-differential operators in industries and technologies at the 8th ICIAM held at the National Convention Center in Beijing, August 10-14, 2015.
This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering.
