Principles of Model Checking

Principles of Model Checking

Principles of Reinforced Concrete

Model Engineering for Simulation

21-Day Financial Fast

Your Path to Financial Peace and Freedom

Digital Twins

Core Principles and AI Integration

Getting Good with Money

Pay Off Your Debt and Find a Life of Freedom---Without Losing Your Mind

Equivalence Checking of Digital Circuits

Fundamentals, Principles, Methods

Equivalence Checking of Digital Circuits

Fundamentals, Principles, Methods

Money Secrets of the Amish

Finding True Abundance in Simplicity, Sharing, and Saving

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

PRIMA 2019: Principles and Practice of Multi-Agent Systems

22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

Principles and Practice of Constraint Programming

26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Principles of Systems Design

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Formal Quantitative Analysis

Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

PRIMA 2015: Principles and Practice of Multi-Agent Systems

18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings

Principles and Practice of Constraint Programming - CP 2001

7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Principles of Declarative Programming

10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings