Theoretical Aspects of Computing – ICTAC 2017

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

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Theoretical Aspects of Computing – ICTAC 2017 by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319677293
Publisher: Springer International Publishing Publication: September 28, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319677293
Publisher: Springer International Publishing
Publication: September 28, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Ubiquitin Chains: Degradation and Beyond by
Cover of the book Lived Religion and the Politics of (In)Tolerance by
Cover of the book Advanced Computing in Industrial Mathematics by
Cover of the book The Mathematics of Coordinated Inference by
Cover of the book Structural Equation Models by
Cover of the book The Changing Academic Profession in Hong Kong by
Cover of the book Multibody Mechatronic Systems by
Cover of the book Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects by
Cover of the book Verified Software: Theories, Tools and Experiments by
Cover of the book Atopic Dermatitis by
Cover of the book War Crimes Trials in the Wake of Decolonization and Cold War in Asia, 1945-1956 by
Cover of the book Affine Diffusions and Related Processes: Simulation, Theory and Applications by
Cover of the book Optimal Impulsive Control by
Cover of the book An Introduction to Distance Geometry applied to Molecular Geometry by
Cover of the book Climate Change and Multi-Dimensional Sustainability in African Agriculture by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy