-
Programming Languages and Systems – 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Ahmed, Amal 2018 Springer International Publishing
-
Rethinking Productivity in Software Engineering
2019 Apress
-
Automata, Languages and Programming – Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
2005 Springer International Publishing
-
Programming with Actors – State-of-the-Art and Research Perspectives
Ricci, Alessandro 2018 Springer International Publishing
-
The Python Workbook – A Brief Introduction with Exercises and Solutions
2019 Springer International Publishing
-
Static Analysis – 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Giacobazzi, Roberto ; Gorla, Alessandra 2025 Springer Nature Switzerland, Imprint: Springer
-
Trends in Functional Programming – 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers
Hemann, Jason ; Chang, Stephen 2025 Springer Nature Switzerland, Imprint: Springer
-
Programming Languages and Systems – 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
2020 Springer International Publishing
-
Datenvisualisierungen mit Julia – Erstellen von Grafiken, interaktiver Oberflächen sowie Animationen
Jaud, Daniel 2024 Springer Berlin Heidelberg, Imprint: Springer Vieweg
-
Digitalisierung und Künstliche Intelligenz in der Produktion – Grundlagen und Anwendung
Mockenhaupt, Andreas ; Schlagenhauf, Tobias 2024 Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg
-
Formal Methods – 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Platzer, André ; Rozier, Kristin Yvonne ; Pradella, Matteo ; Rossi, Matteo 2025 Springer Nature Switzerland, Imprint: Springer
-
Automated Reasoning – 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Benzmüller, Christoph ; Heule, Marijn J. H. ; Schmidt, Renate A. 2024 Springer Nature Switzerland, Imprint: Springer
-
Programming Languages and Systems – 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
2023 Springer Nature Switzerland
-
Programming Languages and Systems – 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
2022 Springer International Publishing
-
Programming Languages and Systems – 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
Vafeiadis, Viktor 2025 Springer Nature Switzerland, Imprint: Springer
-
Runtime Verification – 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
Ábrahám, Erika ; Abbas, Houssam 2025 Springer Nature Switzerland, Imprint: Springer
-
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
-
Robust Argumentation Machines – First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Cimiano, Philipp ; Frank, Anette ; Kohlhase, Michael ; Stein, Benno 2024 Springer Nature Switzerland, Imprint: Springer
-
Automated Reasoning – 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Benzmüller, Christoph ; Heule, Marijn J. H. ; Schmidt, Renate A. 2024 Springer Nature Switzerland, Imprint: Springer
-
Programming Languages and Systems – 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
2021 Springer International Publishing