Opening book details…
Can I read Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science Book 9399) on EtoBox?
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science Book 9399) by Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.) is a computer science book available to read on EtoBox.
What is Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science Book 9399) about?
<p>This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.</p><p> The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software a
Who reads Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science Book 9399)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319251509
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
Browse all works by Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
Similar books
- Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science (4711)) — Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (2007)
- Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings — Robert Mark Hierons; Robert M Hierons; Mohamed Mosbah (2019)
- Theoretical aspects of computing - ICTAC 2012 : 9th international colloquium, Bangalore, India, September 24-27, 2012 : proceedings — S. Akshay, Blaise Genest, Loïc Hélouët (auth.), Abhik Roychoudhury, Meenakshi D’Souza (2012)
- Theoretical Aspects Of Computing ? Ictac 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (lecture Notes In Computer Science) — Gabriel Ciobanu and Dominique Méry (2014)
- Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science (5160)) — J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (2008)
- Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science (8049)) — Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (2013)