Subject: Computer programming / software development - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer programming / software development

181 - 190 of 871

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)