Silvia Lizeth Tapia Tarifa - Böcker
Visar alla böcker från författaren Silvia Lizeth Tapia Tarifa. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Häftad, Engelska, 2019
549 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.
Del 13712 - Lecture Notes in Computer Science
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Häftad, Engelska, 2022
711 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions.
Del 14446 - Lecture Notes in Computer Science
Theoretical Aspects of Computing – ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
Häftad, Engelska, 2023
874 kr
Skickas inom 7-10 vardagar
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.