Hardware

This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogota, Colombia, during November 22-26, 2021.Th …

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, Asia Sim 2023, held in Langkawi, Mala …

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, Asia Sim 2023, held in Langkawi, Mala …

This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIo T 2023, held in Denton, TX, USA, in November 2023.Th …

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers pre …

This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 202 …

Get the Summary of Alok Kanojia’s How to Raise a Healthy Gamer in 20 minutes. Please note: This is a summary & not the original book. "How to Raise a Healthy Gamer" delves into the psycholo …

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers tog …

This book constitutes the refereed proceedings of the 29th Argentine Congress of Computer Science on Computer Science – CACIC 2023, held in Lujan, Argentina, during October 9-12, 2023. The 27 full pa …