This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020. The conference wa…
This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent Systems, MDIS 2019, held in Sibiu, Romania, in October 2019. The 13 revised full papers presented in the volume were carefully reviewed and selected f…
Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to incl…
<P>This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively - so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated - and how systems can …
This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020. The 8 full and 4 short papers presented in this volume were carefully reviewed and selected from …
During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linea…
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the vo…
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspec…
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020. The 85 papers presented in the proceedings were carefully review…
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17-21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020. The 85 papers presented in the proceedings were carefully review…
This volume contains the revised proceedings of the 27th International Workshop on Security Protocols, held at Trinity College, Cambridge, UK, during April 10-12, 2019. The theme of this year's workshop was "security protocols for humans." Getting protocol details right is criti…
This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of …
This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of …
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected …