Andere Kunden interessierten sich auch für
![Theoretical Aspects of Computing ¿ ICTAC 2018]( "Theoretical Aspects of Computing ¿ ICTAC 2018")
Theoretical Aspects of Computing ¿ ICTAC 201859,99 €![Theoretical Aspects of Computing ¿ ICTAC 2016]( "Theoretical Aspects of Computing ¿ ICTAC 2016")
Theoretical Aspects of Computing ¿ ICTAC 201637,99 €![Theoretical Aspects of Computing ¿ ICTAC 2020]( "Theoretical Aspects of Computing ¿ ICTAC 2020")
Theoretical Aspects of Computing ¿ ICTAC 202037,99 €![Theoretical Aspects of Computing - ICTAC 2006]( "Theoretical Aspects of Computing - ICTAC 2006")
Theoretical Aspects of Computing - ICTAC 200642,99 €![Theoretical Aspects of Computing ¿ ICTAC 2019]( "Theoretical Aspects of Computing ¿ ICTAC 2019")
Theoretical Aspects of Computing ¿ ICTAC 201937,99 €![Theoretical Aspects of Computing - ICTAC 2004]( "Theoretical Aspects of Computing - ICTAC 2004")
Theoretical Aspects of Computing - ICTAC 200483,99 €![Theoretical Aspects of Computing - ICTAC 2007]( "Theoretical Aspects of Computing - ICTAC 2007")
Theoretical Aspects of Computing - ICTAC 200742,99 €
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.
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.