Book titles in this series
-
-
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
- Editors:
-
- Jonathan P. Bowen
- Cláudio Gomes
- Zhiming Liu
- Copyright: 2025
Available Renditions
- Soft cover
-
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic
19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures
- Editors:
-
- Marco Console
- Boris Konev
- Copyright: 2025
Available Renditions
- Soft cover
-
Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
- Editors:
-
- Antonio Cerone
- Copyright: 2023
Available Renditions
- Soft cover
-
Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
- Editors:
-
- Zoltán Porkoláb
- Viktória Zsók
- Copyright: 2023
Available Renditions
- Soft cover