Logik, Formale Sprachen, Automaten
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in MATLAB®
Muggleton / Tamaddoni-Nezhad
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, 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 Python™
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
Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers
Ubar / Raik / Jenihhin
Structural Decision Diagrams in Digital Test
Structural Decision Diagrams in Digital Test
Theory and Applications
Rahman / Armgardt / Kvernenes
New Developments in Legal Reasoning and Logic
New Developments in Legal Reasoning and Logic
From Ancient Law to Modern Legal Systems
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 II
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
Bellodi / Lisi / Zese
32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 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
Barbosa / Zohar
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings