Logik, Formale Sprachen, Automaten
Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers
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 Matlab
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in Python
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in JavaScript
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
Kiefer / Kretínský / Kucera
Taming the Infinities of Concurrency
Taming the Infinities of Concurrency
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
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
Rahman / Armgardt / Kvernenes
New Developments in Legal Reasoning and Logic
New Developments in Legal Reasoning and Logic
From Ancient Law to Modern Legal Systems
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