Logik, Formale Sprachen, Automaten

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

Cole

Erfolgsfaktor Künstliche Intelligenz

Erfolgsfaktor Künstliche Intelligenz

KI in der Unternehmenspraxis: Potenziale erkennen - Entscheidungen treffen

29,99 €

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

Lämmel / Cleve

Künstliche Intelligenz

Künstliche Intelligenz

5., überarbeitete Auflage

29,99 €

sofort lieferbar!

Ankündigung

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

ca. 96,29 €

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

Ankündigung

Kahle / Rathjen

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

1st ed. 2020

ca. 117,69 €

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

neu

Peltier / Sofronie-Stokkermans

Automated Reasoning

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

1st ed. 2020

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Peltier / Sofronie-Stokkermans

Automated Reasoning

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

1st ed. 2020

85,59 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Janicki / Sidorova / Chatain

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings

1st ed. 2020

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung
ca. 149,79 €

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

Ankündigung

Maurer

Nonsequential and Distributed Programming with Go

Nonsequential and Distributed Programming with Go

Synchronization of Concurrent Processes: Communication - Cooperation - Competition

1st ed. 2020

58,84 €

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

neu

Makinson

Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing

3rd ed. 2020

48,14 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Raschke / Méry / Houdek

Rigorous State-Based Methods

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

1st ed. 2020

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Jonoska / Savchuk

Developments in Language Theory

Developments in Language Theory

24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings

1st ed. 2020

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Hesse / Schrader

Der Testknacker - Einstellungstests verstehen und lösen

Der Testknacker - Einstellungstests verstehen und lösen

Logik, Mathematik und Physik in Einstellungstests verständlich erklärt

19,95 €

sofort lieferbar!

Gabbrielli

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

1st ed. 2020

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Biere / Parker

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

1st ed. 2020

42,79 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Biere / Parker

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

1st ed. 2020

42,79 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung
ca. 80,24 €

vorbestellbar, wir liefern bei Erscheinen

Fahrenberg / Jipsen / Winter

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings

1st ed. 2020

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Chakraborty / Navas

Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

1st ed. 2020

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

zurück

Filter

nach oben

Ihre Daten werden geladen ...