ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of soft

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in Septembe

This book gathers selected high-quality research papers presented at the Eighth International Congress on Information and Communication Technology, held at Brun

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018

This handbook on Artificial Intelligence (AI) in healthcare consists of two volumes. The first volume is dedicated to advances and applications of AI methodolog