Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,91
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, 2015
ISBN 10: 331925149X ISBN 13: 9783319251493
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theoretical Aspects of Computing - ICTAC 2015 | 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings | Martin Leucker (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2015 | Springer | EAN 9783319251493 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 331925149X ISBN 13: 9783319251493
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,50
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 644 pages. 9.25x6.10x1.46 inches. In Stock.