Provably Correct Systems

Artificial Intelligence and Economic Theory: Skynet in the Market

Handbook of Human Centric Visualization

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Multi Tenancy for Cloud-Based In-Memory Column Databases Workload Management and Data Placement

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings

Cryptography with Shrinking Generators Fundamentals and Applications of Keystream Sequence Generators Based on Irregular Decimation