881. Green, pervasive, and cloud computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings /: 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings. (2017) Editors: Au, Man Ho Allen; Castiglione, Arcangelo; Choo, Kim-Kwang Raymond; Palmieri, Francesco; Li, Kuan-Ching Other Names: GPC (Conference), 12th Record Type: Book Extent: 1 online resource (xx, 815 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
882. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
883. Concise Guide to Software Engineering : From Fundamentals to Application Methods /: From Fundamentals to Application Methods. (2017) Authors: O'Regan, Gerard Record Type: Book Extent: 1 online resource (331 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
884. 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) ↗
885. Computational intelligence and intelligent systems : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers /: 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers. (2016) Editors: Li, Kangshun; Li, Jin; Liu, Yong; Castiglione, Aniello Other Names: ISICA (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 737 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
886. Transactions on engineering technologies : International Multiconference of Engineers and Computer Scientists 2016 /: International Multiconference of Engineers and Computer Scientists 2016. (2017) Editors: Ao, Sio-Iong; Kim, Haeng-Kon; Huang, Xu; Castillo, Oscar Other Names: International Multi-Conference of Engineers and Computer Scientists Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
887. Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. (2018) Editors: Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne Other Names: EPEW (Workshop), 15th Record Type: Book Extent: 1 online resource (xvi, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
888. Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. (2018) Editors: (Computer scientist), Fischer, Bernd; Uustalu, Tarmo Other Names: ICTAC (Colloquium), 15th Record Type: Book Extent: 1 online resource (xvii, 533 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
889. Mobile Computing : Grundlagen - Prozesse und Plattformen - Branchen und Anwendungsszenarien /: Grundlagen - Prozesse und Plattformen - Branchen und Anwendungsszenarien. ([2016]) Editors: Knoll, Matthias; Meinhardt, Stefan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
890. Multi-agent systems and agreement technologies : 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised selected papers /: 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised selected papers. (2018) Editors: Belardinelli, Francesco; Argente, Estefanía Other Names: EUMAS (Workshop), 15th; International Conference on Agreement Technologies, 5th Record Type: Book Extent: 1 online resource (xiv, 554 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗