An Introduction to Practical Formal Methods Using Temporal Logic

Automation and Robotics

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

Make: Electronics: Learning Through Discovery

Robotics in life

Elements of Robotics

Encyclopedia of Electronic Components Volume 1: Resistors, Capacitors, Inductors, Switches, Encoders, Relays, Transistors

Numerical Modelling in Robotics

Mastering Windows Server 2012 R2

DIY Drone and Quadcopter Projects: A Collection of Drone-Based Essays, Tutorials, and Projects

The LEGO MINDSTORMS EV3 Idea Book: 181 Simple Machines and Clever Contraptions

Getting Started with Drones: Build and Customize Your Own Quadcopter

Make Your First Robot: Robotics programming for beginners.

AI based Robot Safe Learning and Control

AI 2041: Ten Visions for Our Future

Mastering Ubuntu Server: Gain expertise in the art of deploying, configuring, managing, and troubleshooting Ubuntu Server, Edition 3

Learning OpenCV: Computer Vision with the OpenCV Library

Linux Device Drivers: Where the Kernel Meets the Hardware, Edition 3