Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023
Author :
Publisher : Springer Nature
Total Pages : 451
Release :
ISBN-10 : 9783031479632
ISBN-13 : 3031479637
Rating : 4/5 (637 Downloads)

Book Synopsis Theoretical Aspects of Computing – ICTAC 2023 by : Erika Ábrahám

Download or read book Theoretical Aspects of Computing – ICTAC 2023 written by Erika Ábrahám and published by Springer Nature. This book was released on 2023-12-24 with total page 451 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

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

DOWNLOAD 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
Theoretical Aspects of Computing – ICTAC 2024
Language: en
Pages: 417
Authors: Chutiporn Anutariya
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD 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

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtual
Application and Theory of Petri Nets and Concurrency
Language: en
Pages: 449
Authors: Lars Michael Kristensen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 248
Authors: Valentina Castiglioni
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK