Hardware

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Rosc …

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 …

Leverage the full potential of Io T with the combination of Raspberry Pi 3 and Python and architect a complete Io T system that is the best fit for your organization Key Features Build complex Python …

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Advancement of Science and Technology, ICAST 2018, which took place in Bahir Dar, Ethiopia, in Oc …

This book constitutes revised selected papers from the 24th Argentine Congress on Computer Science, CACIC 2018, held in Tandil, Argentina, in October 2018.The 26 papers presented in this volume were …

The two volumes LNAI 11649 and 11650 constitute the refereed proceedings of the 20th Annual Conference "Towards Autonomous Robotics", TAROS 2019, held in London, UK, in July 2019.The 87 ful …

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, …

This book constitutes refereed proceedings of the 15th International Conference on Parallel Computational Technologies, PCT 2021, held in March-April 2021. Due to the COVID-19 pandemic the conference …

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers present …

This book constitutes the refereed post-conference proceedings of the 19th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Mobi Quitous 2022, which was …