31. Code generation with Roslyn. (2017) Authors: Harrison, Nick Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. 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) ↗
33. 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) ↗
34. 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) ↗
35. 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) ↗
36. 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) ↗
37. 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) ↗
38. Computing with data : an introduction to the data industry /: an introduction to the data industry. ([2018]) Authors: Lebanon, Guy; El-Geish, Mohamed Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. 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) ↗
40. 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) ↗