Schnell & portofrei.
Alle Medien. Alle Verlage.

Detailsuche

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


              Produktabbildung für 978-3-642-07382-3

d’Inverno / Luck

Understanding Agent Systems

2nd rev. and extended ed. Softcover version of original hardcover edition 2004

Springer
Buch

ISBN 978-3-642-07382-3

2010

139,09 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

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

Cavalheiro / Fiadeiro

Formal Methods: Foundations and Applications

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

NEU

Springer
Buch

ISBN 978-3-319-70847-8

2018

ca. 62,06 €

sofort lieferbar!

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

NEU

Springer
Buch

ISBN 978-3-319-70820-1

2018

96,29 €

sofort lieferbar!

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-486-58102-7

Zimmermann / Picht

Konzepte höherer Programmiersprachen

Oldenbourg Verlag
Taschenbuch

ISBN 978-3-486-58102-7

39,80 €

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-63332-9

Jäger / Sieg

Feferman on Foundations

Logic, Mathematics, Philosophy
1st ed. 2017

Springer
Buch

ISBN 978-3-319-63332-9

2017

139,09 €

lieferbar, ca. 4 Wochen

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-10574-1

Clarke / Henzinger / Veith / Bloem

Handbook of Model Checking

1st ed. 2017

Springer
Buch

ISBN 978-3-319-10574-1

2017

176,54 €

lieferbar, ca. 4 Wochen

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 €

lieferbar, ca. 4 Wochen

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

              Produktabbildung für 978-1-84800-301-9

Jalote

A Concise Introduction to Software Engineering

Springer
Buch

ISBN 978-1-84800-301-9

2008

32,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-540-18253-5

Royer

A Connotational Theory of Program Structure

Springer
Buch

ISBN 978-3-540-18253-5

1987

64,19 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-540-58043-0

Bakker / Roever / Rozenberg

A Decade of Concurrency: Reflections and Perspectives

Springer
Buch

ISBN 978-3-540-58043-0

1994

128,39 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-18-371910-5

Windisch

A Framework for the Formalisation of the Simulation Semantics of Multi-Lingual Specified Heterogeneous Systems

VDI
Buch

ISBN 978-3-18-371910-5

2003

73,00 €

sofort lieferbar!

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-4614-6749-6

Martinez / Molinaro / Subrahmanian

A General Framework for Reasoning On Inconsistency

Springer
Buch

ISBN 978-1-4614-6749-6

2013

42,79 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-540-63369-3

Chabert

A History of Algorithms

From the Pebble to the Microchip

Springer
Buch

ISBN 978-3-540-63369-3

1999

90,94 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-4419-2835-1

Gries / Schneider

A Logical Approach to Discrete Math

1st Edition. Softcover version of original hardcover edition 1993

Springer
Buch

ISBN 978-1-4419-2835-1

2010

67,36 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-642-07516-2

Bochman

A Logical Theory of Nonmonotonic Inference and Belief Change

1st Edition. Softcover version of original hardcover edition 2001

Springer
Buch

ISBN 978-3-642-07516-2

2010

165,84 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-0-7923-5079-8

Braha / Maimon

A Mathematical Theory of Design: Foundations, Algorithms and Applications

Springer
Buch

ISBN 978-0-7923-5079-8

1998

ca. 373,43 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen