341. Understanding control flow : concurrent programming using [mu]C++ /: concurrent programming using [mu]C++. (2016) Authors: Buhr, Peter A Record Type: Book Extent: 1 online resource (xxi, 741 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
342. 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) ↗
343. 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) ↗
344. 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) ↗
345. 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) ↗
346. 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) ↗
347. Web programming with PHP and MySQL : a practical guide /: a practical guide. (2015) Authors: Bramer, M. A (Max A.), 1948- Record Type: Book Extent: 1 online resource (xiii, 388 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
348. 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) ↗
349. 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) ↗
350. 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) ↗