Theoretical Aspects Of Computing Ictac 2017
Download Theoretical Aspects Of Computing Ictac 2017 full books in PDF, epub, and Kindle. Read online free Theoretical Aspects Of Computing Ictac 2017 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Theoretical Aspects of Computing – ICTAC 2017
Author | : Dang Van Hung |
Publisher | : Springer |
Total Pages | : 317 |
Release | : 2017-09-28 |
Genre | : Computers |
ISBN | : 3319677292 |
Download Theoretical Aspects of Computing – ICTAC 2017 Book in PDF, Epub and Kindle
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.
Theoretical Aspects of Computing – ICTAC 2017 Related Books
Pages: 317
Pages: 124
Pages: 413
Pages: 405
Pages: 327