661. SOFSEM 2017 : theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings /: theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings. (2017) Editors: Steffen, Bernhard; Baier, Christel; Brand, Mark van den; Eder, J (Johann), 1958-; Hinchey, Michael G (Michael Gerard), 1969-; Margaria-Steffen, Tiziana, 1964- Other Names: SOFSEM (Conference), 43rd Record Type: Book Extent: 1 online resource (xviii, 526 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
662. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. (2016) Editors: Bonakdarpour, Borzoo; Petit, Franck Other Names: SSS (Symposium), 18th Record Type: Book Extent: 1 online resource (xiii, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
663. Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /: essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. ([2017]) Editors: Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko Other Names: Roscoe, A. W honouree. Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
664. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
665. High-performance scientific computing : first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers /: first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers. (2017) Editors: Di Napoli, Edoardo Other Names: JHPCS (Symposium), 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
666. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
667. Mobile networks and management : 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Revised selected papers /: 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Revised selected papers. (2017) Editors: Agüero, Ramón; Zaki, Yasir; Wenning, Bernd-Ludwig; Förster, Anna; Timm-Giel, Andreas Other Names: International Conference on Mobile Networks and Management, 8th Record Type: Book Extent: 1 online resource (x, 229 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
668. Advances in visual computing : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, proceedings /: 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, proceedings. (2016) Editors: Bebis, George Other Names: International Symposium on Visual Computing, 12th Record Type: Book Extent: 1 online resource (873 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
669. Intelligent human computer interaction : 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings /: 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016, Proceedings. (2017) Editors: Basu, Anupam; Das, Sukhendu; Horain, Patrick; Bhattacharya, Samit Other Names: International Conference on Intelligent Human Computer Interaction, 8th Record Type: Book Extent: 1 online resource (xix, 290 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
670. Industrial IoT technologies and applications : second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25-26, 2017, Proceedings /: second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25-26, 2017, Proceedings. (2017) Editors: Chen, Fulong, 1978-; Luo, Yonglong, 1972- Other Names: Industrial IoT (Conference), 2nd Record Type: Book Extent: 1 online resource (xvii, 248 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗