Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023
Author: Erika Ábrahám
Publisher: Springer Nature
Total Pages: 451
Release: 2023-12-24
Genre: Computers
ISBN: 3031479637

Download Theoretical Aspects of Computing – ICTAC 2023 Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.


Theoretical Aspects of Computing – ICTAC 2023
Language: en
Pages: 451
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2023-12-24 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, duri
Proceedings of International Conference on Theoretical and Applied Computing
Language: en
Pages: 0
Authors: Lisa Mathew
Categories: Computers
Type: BOOK - Published: 2024-11-16 - Publisher: Springer

GET EBOOK

This book presents research papers presented at the International Conference on Theoretical and Applied Computing 2023, held during September 13–15, 2023. ICT
Application and Theory of Petri Nets and Concurrency
Language: en
Pages: 449
Authors: Lars Michael Kristensen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Formal Aspects of Component Software
Language: en
Pages: 243
Authors: Javier Cámara
Categories: Mathematics
Type: BOOK - Published: 2024-02-13 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtual
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 248
Authors: Valentina Castiglioni
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK