1. 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) ↗
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 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) ↗
3. 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) ↗
4. Theory and applications of ordered fuzzy numbers : a tribute to Professor Witold Kosiński /: a tribute to Professor Witold Kosiński. (2017) Editors: Prokopowicz, Piotr; Czerniak, Jacek; Mikołajewski, Dariusz; Apiecionek, Łukasz; Ślęzak, Dominik Other Names: Kosiński, Witold honouree. Record Type: Book Extent: 1 online resource (xviii, 322 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗