This book constitutes the proceedings of the 19th International Conference on Formal Methods for ...

This book constitutes the refereed proceedings of the 30th International Conference on Computer S...

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Compu...

This book comprehensively covers the topic of COVID-19 and other pandemics and epidemics data ana...

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Compu...

Effective Surveillance for Homeland Security: Balancing Technology and Social Issues provides a c...

Una guida pratica su come ottenere l'Alta Fedeltà del suono tra le pareti domestiche, scritta in ...

Since the September 11th attacks, the scientific and engineering communities have been called upo...

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on ...

This book addresses the latest approaches to holistic Cyber-Physical System (CPS) resilience in r...

This book comprehensively covers the topic of COVID-19 and other pandemics and epidemics data ana...

This book is a compilation of research papers and presentations from the Fourth Annual Internatio...