Logik, Formale Sprachen, Automaten

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Ankündigung

Tranchini

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46920-6

53,49 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Ankündigung

Tranchini

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46923-7

42,79 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Chatbot Research and Design

neu

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-54974-8

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Coding Examples from Simple to Complex

Ankündigung

Gagniuc

Applications in JavaScript

Fachbuch2024BuchSpringerISBN 978-3-031-53819-3

42,79 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Coding Examples from Simple to Complex

Ankündigung

Gagniuc

Applications in MATLAB®

Fachbuch2024BuchSpringerISBN 978-3-031-53804-9

42,79 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Coding Examples from Simple to Complex

Ankündigung

Gagniuc

Applications in Python

Fachbuch2024BuchSpringerISBN 978-3-031-53811-7

42,79 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Mai 2024)

Human and Artificial Rationalities

neu

Baratgin / Jacquet / Yama

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

Fachbuch2024BuchSpringerISBN 978-3-031-55244-1

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Inductive Logic Programming

neu

Muggleton / Tamaddoni-Nezhad

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

Fachbuch2024BuchSpringerISBN 978-3-031-55629-6

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Foundations of Information and Knowledge Systems

neu

Meier / Ortiz

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

Fachbuch2024BuchSpringerISBN 978-3-031-56939-5

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Nano-electro-mechanical Switches for Logic Applications

Ankündigung

Hagleitner

Fachbuch2024BuchSpringerISBN 978-3-319-21075-9

ca. 96,29 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. August 2024)

Structural Decision Diagrams in Digital Test

Ubar / Raik / Jenihhin

Theory and Applications

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

235,39 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

New Developments in Legal Reasoning and Logic

Rahman / Armgardt / Kvernenes

From Ancient Law to Modern Legal Systems

Fachbuch2022BuchSpringerISBN 978-3-030-71683-7

128,39 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Cellular Automata and Groups

Ceccherini-Silberstein / Coornaert

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

2nd ed. 2023

85,59 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Verification, Model Checking, and Abstract Interpretation

Dimitrova / Lahav / Wolff

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

Fachbuch2024BuchSpringerISBN 978-3-031-50520-1

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Verification, Model Checking, and Abstract Interpretation

Dimitrova / Lahav / Wolff

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

Fachbuch2024BuchSpringerISBN 978-3-031-50523-2

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Inductive Logic Programming

Bellodi / Lisi / Zese

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

Fachbuch2023BuchSpringerISBN 978-3-031-49298-3

48,14 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Formal Methods: Foundations and Applications

Barbosa / Zohar

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

Fachbuch2023BuchSpringerISBN 978-3-031-49341-6

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Frontiers in Software Engineering Education

Capozucca / Ebersold / Bruel / Meyer

Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers

Fachbuch2023BuchSpringerISBN 978-3-031-48638-8

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Vingron

Logic Circuit Design

Selected Topics and Methods

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

2nd ed. 2024

160,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht