21. Computational science -- ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings.: 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings. Part I (2018) Editors: Shi, Yong; Fu, Haohuan; Tian, Yingjie; Krzhizhanovskaya, Valeria V; Lees, Michael Harold; Dongarra, Jack; Sloot, Peter M. A Other Names: ICCS 2018 Record Type: Book Extent: 1 online resource (xxxiv, 730 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Computer and computing technologies in agriculture IX. 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised selected papers.: 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised selected papers. Part I : (2016) Editors: Li, Daoliang; Li, Zhenbo Other Names: CCTA (Conference), 9th Record Type: Book Extent: 1 online resource (xx, 659 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. 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) ↗
25. Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings /: SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th; ASSURE (Workshop), 3rd; DECSoS (Workshop), 2nd; ISSE (Workshop), 2nd; ReSA4CI (Workshop), 2nd; SASSUR (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. 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) ↗
27. Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers /: 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers. ([2018]) Editors: De Giusti, Armando Eduardo Other Names: Universidad Nacional de La Plata, organizer.; Congreso Argentino de Ciencias de la Computación, 23rd Record Type: Book Extent: 1 online resource (XIV, 310 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Computer Security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings.: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part II (2018) Editors: López, Javier; Zhou, Jianying; Soriano, Miguel Other Names: European Symposium on Research in Computer Security, 23nd Record Type: Book Extent: 1 online resource (XIX, 571 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Computer security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings.: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part I (2018) Editors: López, Javier; Zhou, Jianying; Soriano, Miguel Other Names: European Symposium on Research in Computer Security, 23nd Record Type: Book Extent: 1 online resource (XIX, 621 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Concepts of soft computing : fuzzy and ANN with programming /: fuzzy and ANN with programming. (2019) Authors: Sahoo, Deepti Moyi; Mahato, Nisha Rani Other Names: Chakraverty, Snehashish Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗