Schnell & portofrei.
Alle Medien. Alle Verlage.

Detailsuche

4321 Fachbücher aus dem Bereich Logik, Formale Sprachen, Automaten (Weitere Fachgebiete)


              Produktabbildung für 978-3-319-70847-8

Cavalheiro / Fiadeiro

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
1st ed. 2017

NEU

Springer
Buch

ISBN 978-3-319-70847-8

2017

62,06 €

z. Zt. nicht lieferbar, vorbestellbar

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-4398-7535-3

Weidenbach

Automation of Logic

CRC Press
Buch

ISBN 978-1-4398-7535-3

2017

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-940046-87-1

Bochmann

Binary Systems

A BOOLEAN Book

TUDpress
Buch

ISBN 978-3-940046-87-1

2008

49,80 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-72140-8

Ribenboim

Collected Works in Ordered Structures and Mathematical Logic

Volume 1
1st ed. 2017

Springer
Buch

ISBN 978-3-319-72140-8

2018

ca. 171,19 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-4471-6686-3

Ölveczky

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude
1st ed. 2017

Springer
Buch

ISBN 978-1-4471-6686-3

2018

ca. 56,70 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-63332-9

Jäger / Sieg

Feferman on Foundations

Logic, Mathematics, Philosophy
1st ed. 2017

Springer
Buch

ISBN 978-3-319-63332-9

2018

139,09 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-662-56342-7

Foret / Muskens / Pogodalla

Formal Grammar

22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
1st ed. 2018

Springer
Buch

ISBN 978-3-662-56342-7

2018

44,94 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-10574-1

Clarke / Henzinger / Veith / Bloem

Handbook of Model Checking

1st ed. 2017

Springer
Buch

ISBN 978-3-319-10574-1

2018

176,54 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-486-58102-7

Zimmermann / Picht

Konzepte höherer Programmiersprachen

De Gruyter Oldenbourg
Buch

ISBN 978-3-486-58102-7

2022

39,80 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 9788847039674

Abrusci / Tortora de Falco

Logica

Volume 2 - Incompletezza, teoria assiomatica degli insiemi
1a ed. 2018

Springer
Buch

ISBN 9788847039674

2018

ca. 30,86 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-63587-3

Platzer

Logical Foundations of Cyber-Physical Systems

1st ed. 2018

Springer
Buch

ISBN 978-3-319-63587-3

2018

48,14 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-70820-1

Ferguson

Meaning and Proscription in Formal Logic

Variations on the Propositional Logic of William T. Parry
1st ed. 2017

Springer
Buch

ISBN 978-3-319-70820-1

2018

96,29 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-21075-9

Hagleitner

Nano-electro-mechanical Switches for Logic Applications

1st ed. 2018

Springer
Buch

ISBN 978-3-319-21075-9

2018

ca. 96,29 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-72973-2

Fenstad

Structures and Algorithms

Mathematics and the Nature of Knowledge
1st ed. 2018

Springer
Buch

ISBN 978-3-319-72973-2

2018

ca. 96,29 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-19281-9

Holvoet / Viroli

Coordination Models and Languages

17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
2015

Springer
Buch

ISBN 978-3-319-19281-9

2015

66,34 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-23533-2

Beklemishev / Blass / Dershowitz / Finkbeiner / Schulte

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
1st ed. 2015

Springer
Buch

ISBN 978-3-319-23533-2

2015

59,92 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-19194-2

Graf / Viswanathan

Formal Techniques for Distributed Objects, Components, and Systems

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-5, 2015, Proceedings
2015

Springer
Buch

ISBN 978-3-319-19194-2

2015

66,34 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 9788132225782

Sarukkai

Handbook of Logical Thought in India

1st ed. 2019

Springer
Buch

ISBN 9788132225782

2019

717,91 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-19796-8

Hinze / Voigtländer

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
2015

Springer
Buch

ISBN 978-3-319-19796-8

2015

59,92 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-28113-1

Codescu / Diaconescu

Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
1st ed. 2015

Springer
Buch

ISBN 978-3-319-28113-1

2016

42,80 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-43345-5

Cai / Cui / Sun

Theory and Applications of Models of Computation

13th Annual Conference, TAMC 2016, Xi'an, China, July 20-22, 2016, Proceedings
1st ed. 2016

Springer
Taschenbuch

ISBN 978-3-319-43345-5

2016

zurückgezogen, nicht lieferbar


              Produktabbildung für 978-3-540-52885-2

Stickel

10th International Conference on Automated Deduction

Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Springer
Buch

ISBN 978-3-540-52885-2

1990

128,39 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-540-10009-6

Bibel / Kowalski

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Springer
Buch

ISBN 978-3-540-10009-6

1980

80,24 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-540-19343-2

Lusk / Overbeek

9th International Conference on Automated Deduction

Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Springer
Buch

ISBN 978-3-540-19343-2

1988

139,09 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-84800-120-6

Parkes

A Concise Introduction to Languages and Machines

1st Edition.

Springer
Buch

ISBN 978-1-84800-120-6

2008

32,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen