An Introduction to Practical Formal Methods Using Temporal Logic

Make: Electronics: Learning Through Discovery

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

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Encyclopedia of Electronic Components Volume 2: LEDs, LCDs, Audio, Thyristors, Digital Logic, and Amplification

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

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

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings

Robotics in life

Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers

Agentic Artificial Intelligence: Harnessing AI Agents to Reinvent Business, Work and Life

Numerical Modelling in Robotics

Mastering Windows Server 2012 R2

The Brand Gap: Edition 2

The Slot Car Handbook: The definitive guide to setting-up and running Scalextric sytle 1/32 scale ready-to-race slot cars

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

Game Engine Architecture: Edition 3