481. Computational Science and Its Applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part V : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 779 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
482. Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018) Editors: Casimiro, Antonio; Ferreira, Pedro M Other Names: Ada-Europe International Conference on Reliable Software Technologies, 23rd Record Type: Book Extent: 1 online resource (XIV, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
483. Big data technologies and applications : 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017, Proceedings /: 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017, Proceedings. (2018) Editors: Jung, Jason J; Kim, Pankoo; Choi, Kwang Nam Other Names: BDTA (Conference), 8th Record Type: Book Extent: 1 online resource (xii, 147 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
484. Global thoughts, local designs : INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, revised selected papers /: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, revised selected papers. (2018) Editors: Clemmensen, Torkil; Rajamanickam, Venkatesh; Dannenmann, Peter; Petrie, Helen; Winckler, Marco Other Names: International Conference on Human-Computer Interaction (International Federation for Information Processing), 16th Record Type: Book Extent: 1 online resource (XXIV, 161 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
485. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
486. Smart homes and health telematics, designing a better future : urban assisted living : 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings /: urban assisted living : 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings. (2018) Editors: Mokhtari, Mounir; Abdulrazak, Bessam; Aloulou, Hamdi Other Names: International Conference on Smart Homes and Health Telematics, 16th Record Type: Book Extent: 1 online resource (xvi, 326 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
487. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings. Part IV : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvii, 819 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
488. Articulated motion and deformable objects : 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings /: 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings. (2018) Editors: Perales, Francisco José, 1962-; Kittler, Josef, 1946- Other Names: AMDO (Conference), 10th Record Type: Book Extent: 1 online resource (X, 131 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
489. Design, user experience, and usability. designing interactions : 7th International Conference, DUXU 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings /: designing interactions : 7th International Conference, DUXU 2018, held as part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings. Part II : (2018) Editors: Marcus, Aaron, 1943-; (Design manager), Wang, Wentao Other Names: DUXU (Conference), 7th; International Conference on Human-Computer Interaction, 20th Record Type: Book Extent: 1 online resource (xix, 689 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
490. Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018) Editors: Durand-Lose, Jérôme; Verlan, Sergey Other Names: MCU (Conference), 8th Record Type: Book Extent: 1 online resource (xvii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗