181. 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) ↗
182. Continuous Delivery and DevOps – A Quickstart Guide : Start your journey to successful adoption of CD and DevOps, 3rd Edition /: Start your journey to successful adoption of CD and DevOps, 3rd Edition. (2018) Authors: Swartout, Paul Record Type: Book Extent: 1 online resource (270 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
183. Continuous Delivery with Docker and Jenkins : Create secure applications by building complete CI/CD pipelines, 2nd Edition /: Create secure applications by building complete CI/CD pipelines, 2nd Edition. (2019) Authors: Leszko, Rafał Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
184. Continuous delivery with Visual Studio ALM 2015. ([2015]) Authors: Olausson, Mathias; Ehn, Jakob Record Type: Book Extent: 1 online resource (xx, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
185. 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) ↗
186. 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) ↗
187. Coordination, organizations, institutions, and norms in agent systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers /: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers. (2016) Editors: Dignum, Virginia; Noriega, Pablo, 1953-; Sensoy, Murat; Sichman, Jaime S (Jaime Simão) Other Names: COIN (Workshop), 11th; COIN@AAMAS (Workshop); COIN@IJCAI (Workshop) Record Type: Book Extent: 1 online resource (xii, 437 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
188. Creating Google Chrome extensions. (2016) Authors: Mehta, Prateek Record Type: Book Extent: 1 online resource (xvii, 167 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
189. Creating maintainable APIs : a practical case-study approach /: a practical case-study approach. (2016) Other Names: Varga, Ervin Record Type: Book Extent: 1 online resource (295 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
190. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016) Editors: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971- Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗