76 1 10 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers Michael Cochez Primary Author Madalina Croitoru Primary Author Pierre Marquis Primary Author Sebastian Rudolph Primary Author mixed material 9783030723088 Springer Springer Nature 2021 9783030723088.pdf.jpg.jpg Real-Life Applications and Case Studies Monica Gahlawat Primary Author Sudeep Tanwar Primary Author mixed material 9781040402474 Chapman and Hall/CRC Taylor & Francis Group 2025 9781040402474.pdf.jpg.jpg First Interdisciplinary Science and Research Conference, DIGHUM 2025 Vienna, Austria, November 20–21, 2025 Proceedings Ludger Hagedorn Primary Author Ute Schmid Primary Author Susan Winter Primary Author Stefan Woltran Primary Author mixed material 9783032111081 Cham Springer Nature 2026 9783032111081.pdf.jpg.jpg Design Thinking for Digital Transformation Zhiyong Fu Primary Author Anna Barbara Primary Author Peter Scupelli Primary Author mixed material 9781040260180 CRC Press CRC press 2025 9781040260128.pdf.jpg.jpg Methods and Perspectives Maria Luce Lupetti Primary Author Cristina Zaga Primary Author Nazli Cila Primary Author Selma Šabanović Primary Author Malte F. Jung Primary Author mixed material 9781040183670 Chapman and Hall/CRC Taylor & Francis Group 2024 9781040183670.pdf.jpg.jpg With Python Codes for the TravelingSalesman Problem Éric D. Taillard Primary Author mixed material 9783031137143 Cham Springer Nature 2023 978-3-031-13714-3.pdf.jpg.jpg 37th International Conference, CAV 2025 Zagreb, Croatia, July 23–25, 2025 Proceedings, Part I Ruzica Piskac Primary Author Zvonimir Rakamarić Primary Author mixed material 9783031986680 Cham Springer Nature 2025 9783031986680.pdf.jpg.jpg 34th International Conference, CAV 2022Haifa, Israel, August 7–10, 2022Proceedings, Part II Sharon Shoham Primary Author Yakir Vizel Primary Author mixed material 9783031131882 Cham Springer Nature 2022 978-3-031-13188-2.pdf.jpg.jpg 31st International Conference, CAV 2019New York City, NY, USA, July 15–18, 2019Proceedings, Part I Isil Dillig Primary Author Serdar Tasiran Primary Author mixed material 9783030255404 https://www.springernature.com Springer Nature 2019 1006830.pdf.jpg.jpg 33rd International Conference, CAV 2021Virtual Event, July 20–23, 2021Proceedings, Part II Alexandra Silva Primary Author K. Rustan M. Leino Primary Author mixed material 9783030816889 Springer Springer Nature 2021 978-3-030-81688-9.pdf.jpg.jpg