Willkommen, schön sind Sie da!
Logo Ex Libris

Theoretical Aspects of Computing - ICTAC 2017

  • Kartonierter Einband
  • 328 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 201... Weiterlesen
20%
93.00 CHF 74.40
Sie sparen CHF 18.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.



Includes supplementary material: sn.pub/extras



Inhalt
Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.

Produktinformationen

Titel: Theoretical Aspects of Computing - ICTAC 2017
Untertitel: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Editor:
EAN: 9783319677286
ISBN: 3319677284
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 328
Gewicht: 499g
Größe: H235mm x B155mm x T17mm
Jahr: 2017
Untertitel: Englisch
Auflage: 1st ed. 2017

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"

Zuletzt angesehen
Verlauf löschen