The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017.
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
This book presents source code modularization as a key activity in reverse engineering to extract the software architecture from the existing source code.
This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care.
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday.
This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017.
This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017.
This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Data Technologies and Applications, DATA 2016, held in Colmar, France, in July 2016.
This book constitutes extended, revised and selected papers from the 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, held in Rome, Italy, in April 2016.
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.
This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macroscopic views to meso- and microscopic ones.
The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.
The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.
This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.
This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017.
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.
This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016.
This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016.
This book constitutes the refereed proceedings of the 13th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2016, held in Athens.
This book constitutes the thoroughly refereed post-conference proceedings of the 19th and 20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2015 and 2016, held respectively in Hyderabad, India, on May 26, 2015 and in Chicago, IL, USA, on May 27, 2016.
This book provides a coherent overview of the most important modelling-related security techniques available today, and demonstrates how to combine them.
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.
This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017.
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models.
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
This book gathers 12 of the most promising papers presented at the 15th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2017) held on June 7-9, 2017 at the University of Greenwich, London, UK.
This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures.
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry.
This book summarizes the results of Design Thinking Research Program at Stanford University in Palo Alto, California, USA and the Hasso Plattner Institute in Potsdam, Germany.
This book takes a unique HCI approach to the concept of Software Product Line (SPL) and discusses the peculiarities of human-computer interaction not usually addressed in more traditional approaches.
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.
This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with a particular focus on High Level Architecture (HLA).
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017.
This book constitutes the refereed proceedings of the 5th International Conference on Serviceology for Services, held in Vienna, Austria, in July 2017.
This book constitutes the proceedings of the 15th International Conference on Applied Cryptology and Network Security, ACNS 2017, held in Kanazawa, Japan, in July 2017.
This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National Conference on Databases) - held in London, UK, in July 2017.
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.
This book provides an in-depth insight into the emerging paradigm of End-User Development (EUD), discussing the diversity and potential for creating effective environments for end users.
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017.
