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

Introduction to Permanent Plug and Abandonment of Wells

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

Foundations of Software Science and Computation Structures :22nd International Conference, FOSSACS 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

Rethinking Productivity in Software Engineering

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