Logik, Formale Sprachen, Automaten

zur Oberkategorie
"Informatik"
1156 Treffer
Auswahl verfeinern: Filtern Sortieren nach:
Ankündigung

Groza

Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

1st ed. 2021

ca. 53,49 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Oktober 2021)

Ankündigung

Rahman / Armgardt / Kvernenes

New Developments in Legal Reasoning and Logic

New Developments in Legal Reasoning and Logic

From Ancient Law to Modern Legal Systems

1st ed. 2021

ca. 117,69 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. September 2021)

Ankündigung
ca. 128,39 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Oktober 2021)

Ankündigung

Al-Turjman

Real-Time Intelligence for Heterogeneous Networks

Real-Time Intelligence for Heterogeneous Networks

Applications, Challenges, and Scenarios in IoT HetNets

1st ed. 2021

ca. 149,79 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Oktober 2021)

Ankündigung

Küppers

The Language of Living Matter

The Language of Living Matter

How Molecules Acquire Meaning

1st ed. 2021

ca. 40,65 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Oktober 2021)

neu
117,69 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Moreira / Reis

Developments in Language Theory

Developments in Language Theory

25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung

Kahle / Rathjen

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

1st ed. 2020

ca. 85,59 €

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

Ankündigung

Cerone / Ölveczky

Theoretical Aspects of Computing - ICTAC 2021

Theoretical Aspects of Computing - ICTAC 2021

18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings

1st ed. 2021

ca. 69,54 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. September 2021)

Ankündigung

Lecroq / Puzynina

Combinatorics on Words

Combinatorics on Words

13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings

1st ed. 2021

ca. 53,49 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. September 2021)

neu

Kastens / Kleine Büning

Modellierung

Modellierung

Grundlagen und formale Methoden

5., aktualisierte Auflage

29,99 €

lieferbar (3-5 Tage)

neu

Madarász / Székely

Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

1st ed. 2021

139,09 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Raschke / Méry

Rigorous State-Based Methods

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Buchs / Carmona

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings

1st ed. 2021

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung

Sannella / Fourman / Peng

Introduction to Computation

Introduction to Computation

Haskell, Logic and Automata

1st ed. 2021

ca. 37,44 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. November 2021)

neu

Egecioglu / Garsia

Lessons in Enumerative Combinatorics

Lessons in Enumerative Combinatorics

1st ed. 2021

69,54 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Hanus / Sacerdoti Coen

Functional and Constraint Logic Programming

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Roggenbach

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Landman

Iceberg Semantics for Mass Nouns and Count Nouns

Iceberg Semantics for Mass Nouns and Count Nouns

A New Framework for Boolean Semantics

1st ed. 2020

69,54 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung

Qi / Chen / Liu

Knowledge Graph

Knowledge Graph

2019

ca. 101,64 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. September 2021)

zurück

Filter

Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...