Build messaging applications using the power of Spring Boot; use Spring application events over the Web; use WebSocket, SockJS, and STOMP messaging with Spring MVC; and use Spring JMS, Redis Pub/Sub and Spring AMQP for reliable messaging solutions. This book covers all the Sprin…
Learn physics, engineering, and geology concepts usually seen in high school and college in an easy, accessible style. This second volume addresses these topics for advanced science fair participants or those who just like reading about and understanding science. 3D Printed Scie…
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.…
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and s…
This book constitutes the refereed proceedings of the 15th Algorithms and Data Structures Symposium, WADS 2017, held in St. John's, NL, Canada, in July/August 2017. The 49 full papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from …
Use the latest tools to manage and automate tasks on Microsoft's SharePoint platform. You will achieve time and cost savings, increase reliability of deployments, and learn how to safely and efficiently migrate from a previous version, all while gaining valuable skills in PowerS…
This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, f…
This indispensable textbook/reference provides a comprehensive and reader-friendly introduction to the emerging field of computational social science (CSS). Presenting a unified treatment, the text examines in detail the four key methodological approaches of automated social inf…
This book constitutes the proceedings of the 13th International Symposium on Smart Graphics, SG 2015, held in Chengdu, China, in August 2015. The 17 full and 3 short papers presented in this volume were carefully reviewed and selected from 35 submissions. They are organized in t…
This book constitutes the refereed post-conference proceedings of the 21st Iberoamerican Congress on Pattern Recognition, CIARP 2016, held in Lima, Peru, in November 2016. The 69 papers presented were carefully reviewed and selected from 131 submissions. The papers feature resea…
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99…
This book presents a systematic study of visual pattern discovery, from unsupervised to semi-supervised manner approaches, and from dealing with a single feature to multiple types of features. Furthermore, it discusses the potential applications of discovering visual patterns fo…
This comprehensive guide provides a uniquely practical, application-focused introduction to medical image analysis. The text presents a concise examination of each of the key concepts, enabling the reader to understand the interdependencies between them before delving deeper int…
This textbook presents fundamental machine learning concepts in an easy to understand manner by providing practical advice, using straightforward examples, and offering engaging discussions of relevant applications. The main topics include Bayesian classifiers, nearest-neighbor …
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 54 full papers and 24 short papers presented were caref…
This is a graduate textbook of advanced tutorials on the theory of cryptography and computational complexity. In particular, the chapters explain aspects of garbled circuits, public-key cryptography, pseudorandom functions, one-way functions, homomorphic encryption, the simulati…
