1st Edition 2017
Paperback (17 Sep 2017)
Save $7.08
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9783319677286 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| Pub date: | 17 Sep 2017 |
| Edition: | 1st Edition 2017 |
| Language: | English |
| Number of pages: | 305 |
| Weight: | 458g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 18mm |
$21.47off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $21.47
$36.60off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $36.60
$11.36off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.36
$32.12off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.12
$5.27off
General Quantum Variational Cal...
Paperback
Published 19 Dec 2024
Save $5.27
Zhang Time Discretization (ZTD)...
Hardback
Published 07 Aug 2024
$2.27off
Introduction to Probability for...
Hardback
Published 28 Sep 2023
Save $2.27
$7.89off
Mathematics in Programming
Paperback
Published 11 Jul 2024
Save $7.89
Python Programming for Mathemat...
Paperback
Published 04 Dec 2030
$3.06off
Foundation Mathematics for Comp...
Paperback
Published 27 Sep 2024
Save $3.06