1. Cognitive supervision for robot-assisted minimally invasive laser surgery. (2016) Authors: Fichera, Loris Record Type: Book Extent: 1 online resource (xix, 99 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Elements of Robotics. ([2018]) Authors: Ben-Ari, Mordechai; Mondada, Francesco Record Type: Book Extent: 1 online resource (XVI, 308 pages), 198 illustrations, 76 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. New horizons for a data-driven economy : a roadmap for usage and exploitation of big data in Europe /: a roadmap for usage and exploitation of big data in Europe. (2016) Editors: Cavanillas, José María; Curry, Edward; Wahlster, Wolfgang Record Type: Book Extent: 1 online resource (xx, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗