1. Beginning robotics programming in Java with LEGO Mindstorms. (2016) Authors: Lu, Wei, 1980- Record Type: Book Extent: 1 online resource (234 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Effective robotics programming with ROS : find out everything you need to know to build powerful robots with the most up-to-date ROS /: find out everything you need to know to build powerful robots with the most up-to-date ROS. (2016) Authors: Mahtani, Anil; Sánchez, Luis; Fernández, Enrique (Fernández Perdomo); Martinez, Aaron Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Robot operating system for absolute beginners : robotics programming made easy /: robotics programming made easy. (2018) Authors: Joseph, Lentin Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗