1. 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) ↗
2. 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) ↗
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. 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) ↗
4. Robot operating system (ROS). the complete reference /: the complete reference. (Volume 1) : (2016) Editors: Koubâa, Anis Record Type: Book Extent: 1 online resource (xiii, 728 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. ROS robotics by example : bring life to your robot using ROS robotic applications /: bring life to your robot using ROS robotic applications. (2016) Authors: Fairchild, Carol; Harman, Thomas L, 1942- Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗