41. Critical information infrastructures security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised selected papers /: 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised selected papers. (2016) Editors: Panayiotou, Christos G; Ellinas, Georgios; Kyriakides, Elias; Polycarpou, Marios Other Names: CRITIS (Conference), 9th Record Type: Book Extent: 1 online resource (xiv, 388 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. 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) ↗
43. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Internet of things, smart spaces, and next generation networks and systems : 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings /: 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings. (2016) Editors: Galinina, Olga; Balandin, Sergeĭ I; Koucheryavy, Yevgeni Other Names: NEW2AN (Conference), 16th; Conference on Smart Spaces, 9th Record Type: Book Extent: 1 online resource (xvii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. OpenMP : memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /: memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings. (2016) Editors: Maruyama, Naoya; De Supinski, Bronis R; Wahib, Mohamed Other Names: IWOMP (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 352 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Data management and analytics for medicine and healthcare : third International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings /: third International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings. (2017) Editors: Begoli, Edmon; Wang, Fusheng; Luo, Gang Other Names: DMAH (Workshop), 3rd; International Conference on Very Large Data Bases, 43rd Record Type: Book Extent: 1 online resource (xii, 155 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Distributed computing and internet technology : 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11-13, 2018, Proceedings /: 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11-13, 2018, Proceedings. (2018) Editors: Negi, Atul; Bhatnagar, Raj; Parida, Laxmi Other Names: International Conference on Distributed Computing and Internet Technology, 14th Record Type: Book Extent: 1 online resource (xi, 343 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗