191. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
192. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
193. Virtual reality and augmented reality : 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017, Proceedings /: 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017, Proceedings. (2017) Editors: Barbič, Jernej, 1976-; D'Cruz, Mirabelle; Latoschik, Marc Erich; Slater, Mel; Bourdot, Patrick Other Names: EuroVR International Conference, 14th Record Type: Book Extent: 1 online resource (xx, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
194. Virtual reality and augmented reality : 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22-23, 2018, Proceedings /: 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22-23, 2018, Proceedings. (2018) Editors: Bourdot, Patrick; Cobb, Sue; Interrante, Victoria L; Katō, Hirokazu; Stricker, Didier Other Names: EuroVR International Conference, 15th Record Type: Book Extent: 1 online resource (xii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
195. Web and wireless geographical information systems : 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21-22, 2018, Proceedings /: 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21-22, 2018, Proceedings. (2018) Editors: Luaces, Miguel R; Karimipour, Farid Other Names: W2GIS (Symposium), 16th Record Type: Book Extent: 1 online resource (x, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. (2016) Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types Record Type: Book Extent: 1 online resource (xvii, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
197. Wired/wireless internet communications : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /: 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings. (2016) Editors: Mamatas, Lefteris; Matta, Ibrahim; Papadimitriou, Panagiotis; Koucheryavy, Yevgeni Other Names: WWIC (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 362 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Wired/wireless internet communications : 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings /: 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings. (2017) Editors: Koucheryavy, Yevgeni; Mamatas, Lefteris; Matta, Ibrahim; Ometov, Aleksandr; Papadimitriou, Panagiotis Other Names: WWIC (Conference), 15th Record Type: Book Extent: 1 online resource (xiii, 324 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. Wireless algorithms, systems, and applications : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings /: 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings. ([2015]) Other Names: Xu, Kuai; Zhu, Haojin, 1980-; WASA (Conference), 10th Record Type: Book Extent: 1 online resource (xvii, 858 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
200. Wireless algorithms, systems, and applications : 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings /: 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings. (2017) Editors: Ma, Liran; Khreishah, Abdallah; Zhang, Yan; Yan, Mingyuan Other Names: WASA (Conference), 12th Record Type: Book Extent: 1 online resource (xvii, 912 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗