11. Computational science and its applications -- ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings /: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part V : (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe; Torre, Carmelo Maria; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, E (Elena); Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 744 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Computer graphics for Java programmers. (2017) Authors: Ammeraal, L (Leendert); Zhang, Kang, 1959- Record Type: Book Extent: 1 online resource (ix, 387 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. 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) ↗
15. 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) ↗
16. 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) ↗
17. 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) ↗
18. Coordination, organizations, institutions, and norms in agent systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised selected papers /: COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised selected papers. (2017) Editors: Cranefield, Stephen; Mahmoud, Samhar; Padget, Julian A, 1959-; Rocha, Ana Paula Other Names: COIN@AAMAS (Workshop); COIN@ECAI (Workshop) Record Type: Book Extent: 1 online resource (xiii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Deep learning with Python : a hands-on introduction /: a hands-on introduction. (2017) Authors: Ketkar, Nikhil Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Economics of grids, clouds, systems, and services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings /: 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings. (2017) Editors: Pham, Congduc; (Computer scientist), Altmann, Jörn; Bañares, José Ángel Other Names: GECON (Conference), 14th Record Type: Book Extent: 1 online resource (xi, 302 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗