Logik, Formale Sprachen, Automaten

Ubar / Raik / Jenihhin

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Structural Decision Diagrams in Digital Test

Theory and Applications

Theory and Applications

Fachbuch2024BuchBirkhäuser Verlag GmbHISBN 978-3-031-44733-4

Ceccherini-Silberstein / Coornaert

Cellular Automata and Groups

Cellular Automata and Groups

Cellular Automata and Groups

Fachbuch2nd ed. 20232024BuchSpringerISBN 978-3-031-43327-6

2nd ed. 2023

Pailos / Da Ré

Metainferential Logics

Metainferential Logics

Metainferential Logics

Fachbuch2023BuchSpringerISBN 978-3-031-44380-0

Vingron

Logic Circuit Design

Logic Circuit Design

Logic Circuit Design

Selected Topics and Methods

Selected Topics and Methods

Fachbuch2nd ed. 20242023BuchSpringerISBN 978-3-031-40672-0

2nd ed. 2024

Cerone

Formal Methods for an Informal World

Formal Methods for an Informal World

Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Fachbuch2023BuchSpringerISBN 978-3-031-43677-2

Tranchini

Harmony and Paradox

Harmony and Paradox

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46920-6

Ferreira / Willemse

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-47114-8

Bouraoui / Vesic

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings

17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-45607-7

Steffen

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Fachbuch2024BuchSpringerISBN 978-3-031-46001-2

Dimitrova / Lahav / Wolff

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part II

25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part II

Fachbuch2024BuchSpringerISBN 978-3-031-50520-1

Dimitrova / Lahav / Wolff

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part I

25th International Conference, VMCAI 2024, London, ON, Canada, January 15–16, 2024, Proceedings, Part I

Fachbuch2024BuchSpringerISBN 978-3-031-50523-2

Bellodi / Lisi / Zese

Inductive Logic Programming

Inductive Logic Programming

Inductive Logic Programming

32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings

32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings

Fachbuch2024BuchSpringerISBN 978-3-031-49298-3

Barbosa / Zohar

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-49341-6

Sheremet

Multigrammatical Framework for Knowledge-Based Digital Economy

Multigrammatical Framework for Knowledge-Based Digital Economy

Multigrammatical Framework for Knowledge-Based Digital Economy

Fachbuch2023BuchSpringerISBN 978-3-031-13860-7

LaMeres

Introduction to Logic Circuits & Logic Design with VHDL

Introduction to Logic Circuits & Logic Design with VHDL

Introduction to Logic Circuits & Logic Design with VHDL

Fachbuch3rd ed. 20242023BuchSpringerISBN 978-3-031-42546-2

3rd ed. 2024

Hermenegildo / Morales

Static Analysis

Static Analysis

Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-44244-5

Pesquita / Skaf-Molli / Efthymiou / Kirrane / Ngonga / Collarana / Cerqueira / Alam / Trojahn / Hertling

The Semantic Web: ESWC 2023 Satellite Events

The Semantic Web: ESWC 2023 Satellite Events

The Semantic Web: ESWC 2023 Satellite Events

Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-43457-0

Gabbrielli / Martini

Programming Languages: Principles and Paradigms

Programming Languages: Principles and Paradigms

Programming Languages: Principles and Paradigms

Fachbuch2nd ed. 20232023BuchSpringerISBN 978-3-031-34143-4

2nd ed. 2023

Fensel / Ozaki / Roman / Soylu

Rules and Reasoning

Rules and Reasoning

Rules and Reasoning

7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings

7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings

Fachbuch2023BuchSpringerISBN 978-3-031-45071-6

Polkowski

Logic: Reference Book for Computer Scientists

Logic: Reference Book for Computer Scientists

Logic: Reference Book for Computer Scientists

The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”

The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”

Fachbuch2023BuchSpringerISBN 978-3-031-42033-7