1021. Augmented reality, virtual reality, and computer graphics. 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings /: 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings. Part I : (2017) Editors: De Paolis, Lucio Tommaso; Bourdot, Patrick; Mongelli, Antonio Other Names: AVR (Conference), 4th Record Type: Book Extent: 1 online resource (xxx, 476 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1022. Augmented reality, virtual reality, and computer graphics. 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings /: 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings. Part II : (2017) Editors: De Paolis, Lucio Tommaso; Bourdot, Patrick; Mongelli, Antonio Other Names: AVR (Conference), 4th Record Type: Book Extent: 1 online resource (xxx, 514 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1023. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xix, 601 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1024. Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /: theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. (2017) Editors: Larsen, K. G (Kim G.), 1957-; Sokolsky, Oleg; Wang, Ji Other Names: SETTA (Symposium), 3rd Record Type: Book Extent: 1 online resource (xviii, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1025. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1026. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1027. Engineering multi-agent systems : third international workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, revised, selected, and invited papers /: third international workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, revised, selected, and invited papers. (2015) Editors: Baldoni, Matteo, 1968-; Baresi, Luciano; Dastani, Mehdi Other Names: EMAS (Workshop), 3rd Record Type: Book Extent: 1 online resource (231 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1028. Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Verification : Part II, (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1029. 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) ↗
1030. Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /: theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. (2016) Editors: Fränzle, Martin; Kapur, Deepak; Zhan, Naijun Other Names: SETTA (Symposium), 2nd Record Type: Book Extent: 1 online resource (xviii, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗