This book constitutes the refereed proceedings of the 12th International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018.
This six volume set LNCS 11063 - 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018.
This six volume set LNCS 11063 - 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018.
This six volume set LNCS 11063 - 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018.
This two-volume set LNICST 254-255 constitutes the post-conference proceedings of the 14thInternational Conference on Security and Privacy in Communication Networks, SecureComm 2018, held in Singapore in August 2018.
This two-volume set LNICST 254-255 constitutes the post-conference proceedings of the 14thInternational Conference on Security and Privacy in Communication Networks, SecureComm 2018, held in Singapore in August 2018.
This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data.
This practically-oriented textbook presents an accessible introduction to discrete mathematics through a substantial collection of classroom-tested exercises.
A successor to the first and second editions, this updated and revised book is a leading companion guide for students and engineers alike, specifically software engineers who design algorithms.
A metaheuristic is a higher-level procedure designed to select a partial search algorithm that may lead to a good solution to an optimization problem, especially with incomplete or imperfect information.
Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple examples of its interdisciplinary applications.
A comprehensive guide for programmers to master Python, this book covers basic to advanced topics including data structures, algorithms, and custom class creation.
A comprehensive guide for programmers to master Python, this book covers basic to advanced topics including data structures, algorithms, and custom class creation.
Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple examples of its interdisciplinary applications.
This book describes the computational challenges posed by the progression toward nanoscale electronic devices and increasingly short design cycles in the microelectronics industry, and proposes methods of model reduction which facilitate circuit and device simulation for specific tasks in the design cycle.
The computer science problem whose solution could transform life as we know itThe P-NP problem is the most important open problem in computer science, if not all of mathematics.
Mastering advanced features of Java and implement them to build amazing projectsKey Features Take advantage of Java's new modularity features to write real-world applications that solve a variety of problems Explore the major concepts introduced with Java 9, including modular programming, HTTP 2.
Smart Spaces combines the study of working or living spaces with computing, information equipment, and multimodal sensing devices, and with natural and convenient interactive interfaces to support how people can easily obtain services from computer systems.
A metaheuristic is a higher-level procedure designed to select a partial search algorithm that may lead to a good solution to an optimization problem, especially with incomplete or imperfect information.
A successor to the first and second editions, this updated and revised book is a leading companion guide for students and engineers alike, specifically software engineers who design algorithms.
Este libro es una propuesta metodológica, sistemática y generalizada en la cual se especifican los pasos que se deben seguir para la aplicación de la minería de procesos, desde la planeación de un proyecto hasta la implantación de sus alternativas de mejora.
El objetivo de este libro es mostrar una técnica conocida como "Regresión Simbólica", la cual es una aplicación de los algoritmos genéticos para la búsqueda de patrones en una serie de datos.
The main objectives of this book are to expose key aspects that have a relevance when dealing with open data viewed from different perspectives and to provide appealing examples of how open data is implemented worldwide.
The ability of storing, managing, and giving access to the huge quantity of data collected by astronomical observatories is one of the major challenges of modern astronomy.
Interest in statistical methodology is increasing so rapidly in the astronomical community that accessible introductory material in this area is long overdue.
Explore essential quantum computing algorithms and master concepts intuitively with minimal math expertise requiredKey FeaturesLearn the fundamentals with an introduction to matrix arithmeticWrite quantum computing programs in Qiskit-IBM's publicly available quantum computing websiteEmail your questions directly to the author-no question is too elementaryPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionNavigate the quantum computing spectrum with this book, bridging the gap between abstract, math-heavy texts and math-avoidant beginner guides.
The main objectives of this book are to expose key aspects that have a relevance when dealing with open data viewed from different perspectives and to provide appealing examples of how open data is implemented worldwide.
