Schnell & portofrei.
Alle Medien. Alle Verlage.

Detailsuche

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


              Produktabbildung für 978-3-658-20972-8

Kohne

Cloud-Föderationen

SLA-basierte VM-Scheduling-Verfahren
1. Aufl. 2018

Springer Fachmedien Wiesbaden
Buch

ISBN 978-3-658-20972-8

2018

59,99 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-99129-0

Gallina / Skavhaug / Bitsch

Computer Safety, Reliability, and Security

37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
1st ed. 2018

Springer
Buch

ISBN 978-3-319-99129-0

2018

62,06 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Hoshi / Seki

Developments in Language Theory

22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
1st ed. 2018

Springer
Buch

ISBN 978-3-319-98653-1

2018

87,73 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Golinska-Pilarek / Zawidzki

Ewa Orlowska on Relational Methods in Logic and Computer Science

1st ed. 2018

Springer
Buch

ISBN 978-3-319-97878-9

2018

139,09 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Carter / O'Grady / Rosen

Higher Education Computer Science

A Manual of Practical Approaches
1st ed. 2018

Springer
Buch

ISBN 978-3-319-98589-3

2018

69,54 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Hooker

Principles and Practice of Constraint Programming

24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
1st ed. 2018

Springer
Buch

ISBN 978-3-319-98333-2

2018

104,85 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

McIver / Horvath

Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
1st ed. 2018

Springer
Buch

ISBN 978-3-319-99153-5

2018

79,17 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-78089-4

Lachiche / Vrain

Inductive Logic Programming

27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-78089-4

2018

53,50 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

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

Dutle / Muñoz / Narkawicz

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NEU

Springer
Buch

ISBN 978-3-319-77934-8

2018

70,62 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 9789811088476

Hoda / Chauhan / Quadri / Srivastava

Software Engineering

Proceedings of CSI 2015
1st ed. 2019

NEU

Springer
Buch

ISBN 9789811088476

2018

ca. 85,59 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-94630-6

Konstantinidis / Pighizzini

Descriptional Complexity of Formal Systems

20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-94630-6

2018

62,05 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Foret / Kobele / Pogodalla

Formal Grammar 2018

23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-662-57783-7

2018

53,49 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Baier / Dal Lago

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-89365-5

2018

53,49 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

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

Croitoru / Marquis / Rudolph / Stapleton

Graph Structures for Knowledge Representation and Reasoning

5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-78101-3

2018

44,94 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

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

Câmpeanu

Implementation and Application of Automata

23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-94811-9

2018

70,61 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Gallardo / Merino

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-94110-3

2018

70,61 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

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

Manea / Miller / Nowotka

Sailing Routes in the World of Computation

14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-94417-3

2018

79,17 €

lieferbar, ca. 4 Wochen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-78947-7

Eklund / Gutie´rrez Garci´a / Höhle

Semigroups in Complete Lattices

Quantales, Modules and Related Topics
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-78947-7

2018

117,69 €

lieferbar (3-5 Tage)

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-319-89962-6

Beyer / Huisman

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
1st ed. 2018

NEU

Springer
Buch

ISBN 978-3-319-89962-6

2018

53,49 €

lieferbar (3-5 Tage)

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

ca. 79,37 €

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, Buch

ISBN 978-3-940046-87-1

2008

49,80 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-1-4684-7140-3

Bergé / Levia / Rouillard

Current Issues in Electronic Modeling Set of Volumes 5-8

Springer-Verlag New York
Buch, Buch

ISBN 978-1-4684-7140-3

2012

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen

              Produktabbildung für 978-3-11-044238-0

Gumm / Sommer

Formale Sprachen, Compilerbau, Programmierung

De Gruyter
Buch

ISBN 978-3-11-044238-0

2018

39,95 €

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 978-1-61499-355-1

Slezak / Nguyen / Szczuka

Logic, Data and Wisdom

To Andrzej Skowron on His 70th Birthday

IOS PRESS
Buch

ISBN 978-1-61499-355-1

2014

ca. 100,00 €

vorbestellbar, wir liefern bei Erscheinen

dem Warenkorb hinzufügen