91. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. (2016) Editors: Skavhaug, Amund; Guiochet, Jérémie; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 35th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 36th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 6th; TELERISE (Workshop), 3rd; TIPS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiv, 478 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Conceptual modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings /: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings. (2017) Editors: Mayr, H. C (Heinrich Christian); Guizzardi, Giancarlo; (Computer programmer), Ma, Hui; Pastor, Óscar, 1962- Other Names: International Conference on Conceptual Modeling, 36th Record Type: Book Extent: 1 online resource (xxii, 536 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. 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) ↗
97. Concurrent patterns and best practices : build scalable apps with patterns in multithreading, synchronization, and functional programming.: build scalable apps with patterns in multithreading, synchronization, and functional programming. (2018) Other Names: Khot, Atul S Record Type: Book Extent: 1 online resource (258 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Jacquet, J.-M (Jean-Marie); Massink, Mieke Other Names: COORDINATION (Conference), 19th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xii, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. (2018) Editors: Di Marzo Serugendo, Giovanna; Loreti, Michele Other Names: COORDINATION (Conference), 20th; International Federated Conferences on Distributed Computing Techniques, 13th Record Type: Book Extent: 1 online resource (xii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗