Logik, Formale Sprachen, Automaten
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 JavaScript™
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 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