This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

This Learning Path takes you on a journey in the world of robotics and teaches you all that you can achieve with Raspberry Pi and Python - from building a movie recommendations system to creating your own self-driven robotic vehicle.

This book provides an integrative overview of Internet-of-Things (IoT) and Cloud Computing to be used for the various futuristic and intelligent applications. It includes a broad and integrated perspective on the collaboration, security, growth of cloud infrastructure and real-time data monitoring.