Logik, Formale Sprachen, Automaten
Meier / Ortiz
Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in JavaScript™
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in MATLAB®
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in Python™
Muggleton / Tamaddoni-Nezhad
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers
Rahman / Armgardt / Kvernenes
New Developments in Legal Reasoning and Logic
New Developments in Legal Reasoning and Logic
From Ancient Law to Modern Legal Systems
Ubar / Raik / Jenihhin
Structural Decision Diagrams in Digital Test
Structural Decision Diagrams in Digital Test
Theory and Applications
Ceccherini-Silberstein / Coornaert
2nd ed. 2023
Dimitrova / Lahav / Wolff
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Dimitrova / Lahav / Wolff
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Bellodi / Lisi / Zese
32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Barbosa / Zohar
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Capozucca / Ebersold / Bruel / Meyer
Frontiers in Software Engineering Education
Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers