- Nyhet
Theoretical Aspects of Computing - ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
AvSilvia Lizeth Tapia Tarifa,Clemens Dubslaff
E-bok
Engelska, 20231 150 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14446
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad, 2023
911 kr
Principles of Formal Quantitative Analysis
Sascha Kluppelholz, Clemens Dubslaff, Nathalie Bertrand
E-bok
20251 037 kr
Del 13712
Del 15760
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
Häftad, 2025
819 kr
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad, 2016
572 kr