Logik, Formale Sprachen, Automaten
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™
Gagniuc
Coding Examples from Simple to Complex
Coding Examples from Simple to Complex
Applications in MATLAB®
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
O'Regan
Mathematical Foundations of Software Engineering
Mathematical Foundations of Software Engineering
A Practical Guide to Essentials
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
Muggleton / Tamaddoni-Nezhad
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, 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