Please click here for information on incomplete orders placed before 03 July 2024

Theoretical Aspects of Computing - ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

By: Dang Van Hung (Editor), Deepak Kapur (Editor)

Write A Review

eBook | 22 October 2017

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

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.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Artificial Intelligence Software Engineering Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Compilers & Interpreters

Theoretical Aspects of Computing - ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

on

You Can Find This eBook In

This product is categorised by