This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Co...

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Sof...

This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new f...

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the Eu...

Managing people is difficult wherever you work. But in the tech industry, where management is also a technical discipline, the learning curve can be brutalーespecially when there are few tools, texts, and frameworks to help you. In this practical guide, author Camille Fournier (tech lead turned CTO) takes you throug...

After a decade’s worth of Android app development, 2018 debuted the second generation of Android app development techniques, highlighted by Jetpack and the AndroidX family of libraries. This book follows in the footsteps of "The Busy Coder’s Guide to Android Development", to introduce developers to Android app devel...

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of S...

This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most commonly used im...

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 31 paper...

A programmer's guide to understanding AI and Quantum Computing through applied Astrophysics. Demonstrating how Quantum Generative Adversarial Neural Networks can be used to model an 11-dimensional system for the purpose of locating and transmitting information between different mathematical points in space-time.

This open access book constitutes the refereed proceedings of the 15th International Annual Conference on Cyber Security, CNCERT 2018, held in Beijing, China, in August 2018. The 14 full papers presented were carefully reviewed and selected from 53 submissions. The papers cover the following topics: emergency respon...

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and s...

This open access book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital T...

This open access book examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the grow...

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference f...

Volete scoprire il metaverso e come fare soldi con esso? Avete paura di perdere un'altra mega-opportunità come il Bitcoin o l'investimento in Amazon? Volete cambiare il vostro destino avendo una nuova possibilità nel mondo virtuale? Se avete risposto "Sì!" a una di queste domande, allora questa è la Bibbia per voi! ...