Mathematics and Computation in Music: First International Conference, MCM 2007, Berlin, Germany, May 18-20, 2007. Revised Selected Papers

Überwachen und Strafen: Neuere Entwicklungen im Justizvollzug Surveiller et punir : nouvelles évolutions dans l'exécution des sanctions pénales

Mathematics and Computation in Music: 9th International Conference, MCM 2024, Coimbra, Portugal, June 18–21, 2024, Proceedings

Risiko & Recht 01/2023

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 Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Risiko & Recht 01/2023