Band 10580
Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
17.09.2017
Herausgeber
Dang Van Hung + weitereVerlag
SpringerSeitenzahl
305
Maße (L/B/H)
23.5/15.5/1.8 cm
Gewicht
499 g
Auflage
1st ed. 2017
Sprache
Englisch
ISBN
978-3-319-67728-6
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung