Logik, Formale Sprachen, Automaten

Weske

Business Process Management

Business Process Management

Business Process Management

Concepts, Languages, Architectures

Concepts, Languages, Architectures

Fachbuch4., Fourth Edition 20242024SpringerISBN 978-3-662-69517-3

4., Fourth Edition 2024

Weiss / Birman

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Fachbuch2024SpringerISBN 978-3-031-57634-8

Diamond / Allen

KI-Prompts schreiben für Dummies

KI-Prompts schreiben für Dummies

KI-Prompts schreiben für Dummies

Fachbuch2024Wiley-VCH GmbHISBN 978-3-527-72245-7

Zygelman

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

Fachbuch2., Second Edition 20242024SpringerISBN 978-3-031-66424-3

2., Second Edition 2024

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¿

Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-42036-8

Rahman / Armgardt / Kvernenes

New Developments in Legal Reasoning and Logic

New Developments in Legal Reasoning and Logic

New Developments in Legal Reasoning and Logic

From Ancient Law to Modern Legal Systems

From Ancient Law to Modern Legal Systems

Fachbuch2022SpringerISBN 978-3-030-71683-7

O'Regan

Mathematical Foundations of Software Engineering

Mathematical Foundations of Software Engineering

Mathematical Foundations of Software Engineering

A Practical Guide to Essentials

A Practical Guide to Essentials

Fachbuch2024Springer Nature SwitzerlandISBN 978-3-031-26214-2

Gagniuc

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Applications in Python™

Applications in Python™

Fachbuch2024SpringerISBN 978-3-031-53811-7

Gagniuc

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Applications in JavaScript™

Applications in JavaScript™

Fachbuch2024SpringerISBN 978-3-031-53819-3

Staab

Logik und Algebra

Logik und Algebra

Logik und Algebra

Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker

Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker

Fachbuch2., überarb. Aufl.2012De Gruyter OldenbourgISBN 978-3-486-71697-9

2., überarb. Aufl.

Meier / Ortiz

Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems

13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-56939-5

Gagniuc

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Coding Examples from Simple to Complex

Applications in MATLAB®

Applications in MATLAB®

Fachbuch2024SpringerISBN 978-3-031-53804-9

Muggleton / Tamaddoni-Nezhad

Inductive Logic Programming

Inductive Logic Programming

Inductive Logic Programming

31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings

31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings

Fachbuch2024SpringerISBN 978-3-031-55629-6

Baratgin / Jacquet / Yama

Human and Artificial Rationalities

Human and Artificial Rationalities

Human and Artificial Rationalities

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Fachbuch2024SpringerISBN 978-3-031-55244-1

Følstad / Araujo / Papadopoulos / Law / Luger / Goodwin / Hobert / Brandtzaeg

Chatbot Research and Design

Chatbot Research and Design

Chatbot Research and Design

7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers

7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers

Fachbuch2024SpringerISBN 978-3-031-54974-8

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

Fachbuch2024Birkhä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. 20232024SpringerISBN 978-3-031-43327-6

2nd ed. 2023

Xu

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations

Theories and Methodologies

Theories and Methodologies

Fachbuch2024Springer Nature SingaporeISBN 9789819931712

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, United Kingdom, January 15–16, 2024, Proceedings, Part II

25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

Fachbuch2024SpringerISBN 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, United Kingdom, January 15–16, 2024, Proceedings, Part I

25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

Fachbuch2024SpringerISBN 978-3-031-50523-2