Models, Methods and Tools for Product Service Design

On the path to AI :Law’s prophecies and the conceptual foundations of the machine learning age

Dynamic Spectrum Management

Special Topics in Information Technology

Advances in Intelligent Data Analysis XVIII

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings

Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405

The Amazing Journey of Reason :from DNA to Artificial Intelligence

Multiple-Aspect Analysis of Semantic Trajectories :First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems :25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019

Enhanced Living Environments :Algorithms, Architectures, Platforms, and Systems

Computer Aided Verification :31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

High-Performance Modelling and Simulation for Big Data Applications

High Performance Computing: ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

Internet of Things. Information Processing in an Increasingly Connected World

Computer Aided Verification :31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II