Warenkorb
Übersetzung
Anmelden/Login
logo
mediatypes Bücher

formallanguages – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
ISBN 9783540544876: Computer Science Logic
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
593 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
Artikel pro Seite:
Seiten:

neues Buch Software Engineering and Formal Methods

Radu Calinescu: Software Engineering and

Radu Calinescu


Springer

, 03.12.2021, Taschenbuch
ISBN: 9783030921231
Neuware
85,59 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Reachability Problems

Paul C. Bell: Reachability Problems

Paul C. Bell


Springer International Publishing

, 26.10.2021, Taschenbuch
ISBN: 9783030897154
Neuware
85,59 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Viorica Sofronie-Stokkermans: Automated

Viorica Sofronie-Stokkermans


Springer International Publishing

, 30.06.2020, Taschenbuch
ISBN: 9783030510534
Neuware
79,17 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic, Rationality, and Interaction

Wiebe Van Der Hoek: Logic, Rationality,

Wiebe Van Der Hoek


Springer Berlin Heidelberg

, 09.10.2015, Taschenbuch
ISBN: 9783662485606
Neuware
53,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Reachability Problems

Igor Potapov: Reachability Problems

Igor Potapov


Springer

, 26.10.2021, Taschenbuch
ISBN: 9783030897154
Neuware
86,38 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Viorica Sofronie-Stokkermans: Automated

Viorica Sofronie-Stokkermans


Springer International Publishing

, 30.06.2020, Taschenbuch
ISBN: 9783030510732
Neuware
85,59 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Nicolas Peltier: Automated Reasoning

Nicolas Peltier


Springer

, 30.06.2020, Taschenbuch
ISBN: 9783030510732
Neuware
86,38 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Automated Reasoning

Nicolas Peltier: Automated Reasoning

Nicolas Peltier


Springer

, 30.06.2020, Taschenbuch
ISBN: 9783030510534
Neuware
80,20 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Programming and Nonmonotonic Reasoning

Georg Gottlob: Logic Programming and Non

Georg Gottlob


Springer International Publishing

, 27.08.2022, Taschenbuch
ISBN: 9783031157066
Neuware
79,17 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Software Engineering and Formal Methods

Radu Calinescu: Software Engineering and

Radu Calinescu


Springer

, 03.12.2021, Taschenbuch
ISBN: 9783030921231
Neuware
86,38 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch KI 2022: Advances in Artificial Intelligence

Ralph Bergmann: KI 2022: Advances in Art

Ralph Bergmann


Springer International Publishing

, 17.09.2022, Taschenbuch
ISBN: 9783031157905
Neuware
58,84 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Programming and Nonmonotonic Reasoning

Georg Gottlob: Logic Programming and Non

Georg Gottlob


Springer

, 27.08.2022, Taschenbuch
ISBN: 9783031157066
Neuware
80,20 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch KI 2022: Advances in Artificial Intelligence

Stephanie C. Rodermund: KI 2022: Advance

Stephanie C. Rodermund


Springer

, 17.09.2022, Taschenbuch
ISBN: 9783031157905
Neuware
60,88 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch AI Approaches to the Complexity of Legal Systems XI-XII

Víctor Rodríguez-Doncel: AI Approaches t

Víctor Rodríguez-Doncel


Springer

, 27.11.2021, Taschenbuch
ISBN: 9783030898106
Neuware
86,38 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Implementation and Application of Automata

Cezar Câmpeanu: Implementation and Appli

Cezar Câmpeanu


Springer

, 30.06.2018, Taschenbuch
ISBN: 9783319948119
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Descriptional Complexity of Formal Systems

Stavros Konstantinidis: Descriptional Co

Stavros Konstantinidis


Springer

, 11.07.2018, Taschenbuch
ISBN: 9783319946306
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch AI Approaches to the Complexity of Legal Systems XI-XII

Víctor Rodríguez-Doncel: AI Approaches t

Víctor Rodríguez-Doncel


Springer

, 27.11.2021, Taschenbuch
ISBN: 9783030898106
Neuware
83,90 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Application and Theory of Petri Nets and Concurrency

Thomas Chatain: Application and Theory o

Thomas Chatain


Springer

, 25.06.2020, Taschenbuch
ISBN: 9783030518301
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Frontiers of Combining Systems

Giles Reger: Frontiers of Combining Syst

Giles Reger


Springer International Publishing

, 01.09.2021, Taschenbuch
ISBN: 9783030862046
Neuware
80,24 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Computer Science Logic

Egon Börger: Computer Science Logic

Egon Börger


Springer

, 11.09.1991, Taschenbuch
ISBN: 3540544879
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …
Seiten: