Perangkat Keras

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were …

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 …

Augment your Io T skills with the help of engaging and enlightening tutorials designed for Raspberry Pi 3 Key Features

• Design and implement state-of-the-art solutions for the Internet of Thi …

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 …

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 …

This book covers the basic concepts and principles of operating systems, showing how to apply them to the design and implementation of complete operating systems for embedded and real-time systems. I …

This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12-15, 2023.The 6 full paper …

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 …