-
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
-
Programming Languages and Systems – 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Weirich, Stephanie 2024 Springer Nature Switzerland, Imprint: Springer
-
Fault-based refinement-testing for CSP
Cavalcanti, Ana ; Simao, Adenilso
-
Towards an AI tutor for undergraduate geotechnical engineering: a comparative study of evaluating the efficiency of large language model application programming interfaces
Tophel, Amir ; Chen, Liuxin ; Hettiyadura, Umidu ; Kodikara, Jayantha
-
Design and Evaluation of an XML-Based Language for Programming Socially Assistive Robots
Rocha, Marcelo Marques da ; Favela, Jesus ; Muchaluat-Saade, Débora C.
-
Coding Examples from Simple to Complex – Applications in JavaScript™
Gagniuc, Paul A. 2024 Springer Nature Switzerland, Imprint: Springer
-
Evidence-Based Management – How to Use Evidence to Make Better Organizational Decisions
Barends, Eric ; Rousseau, Denise M. 2021 Kogan Page Ltd
-
Confident Coding – Learn How to Code and Master the Essentials
Percival, Rob ; Woods, Darren 2023 Kogan Page Ltd
-
Confident Coding – Learn How to Code and Master the Essentials
Percival, Rob ; Woods, Darren 2023 Kogan Page Ltd
-
Evidence-Based Management – How to Use Evidence to Make Better Organizational Decisions
Barends, Eric ; Rousseau, Denise M. 2018 Kogan Page Ltd
-
Open Source Systems: Long-Term Sustainability – 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings
Hammouda, Imed 2012 Springer Berlin
-
Compiler Design – Syntactic and Semantic Analysis
Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin
-
Simula Research Laboratory – by Thinking Constantly about it
Tveito, Aslak 2010 Springer Berlin
-
Coding Fundamentals for adults:: – "Learn About Programming Languages With This Easy-to-Follow Guide."
Bernard, Michael 2025 epubli
-
Schnupperkurs: Das Potential von QGIS mit der Python-Konsole freischalten
Schlolaut, Gordon 2025 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -