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

New Search Subject Computer programming / software development

61 - 70 of 871

61. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (553 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms)

62. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (521 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms)

63. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016)

Editors:: Olivetti, Nicola; Tiwari, Ashish, 1973-
Other Names:: IJCAR (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xx, 580 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

64. Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. (2017)

Editors:: Schmidt, Renate A; Nalon, Cláudia
Other Names:: TABLEAUX (Conference), 26th
Record Type:: Book
Extent:: 1 online resource (xii, 381 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

65. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015)

Editors:: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979-
Other Names:: ATVA (Symposium), 13th
Record Type:: Book
Extent:: 1 online resource (xiii, 520 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

66. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016)

Editors:: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962-
Other Names:: ATVA (Symposium), 14th
Record Type:: Book
Extent:: 1 online resource (xi, 530 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

67. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018)

Editors:: Lahiri, Shuvendu; Wang, Chao, 1985-
Other Names:: ATVA (Symposium), 16th
Record Type:: Book
Extent:: 1 online resource (xiii, 560 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

68. Automated trading with R : quantitative research and platform development /: quantitative research and platform development. ([2016])

Other Names:: Conlan, Chris
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

69. AWS Certified Developer – Associate Guide : Your one-stop solution to passing the AWS developer's 2019 (DVA-C01) certification, 2nd Edition /: Your one-stop solution to passing the AWS developer's 2019 (DVA-C01) certification, 2nd Edition. (2019)

Authors:: Tankariya, Vipul; Parmar, Bhavin
Record Type:: Book
Extent:: 1 online resource (812 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

70. AWS Lambda Quick Start Guide : Learn how to build and deploy serverless applications on AWS /: Learn how to build and deploy serverless applications on AWS. (2018)

Authors:: Klems, Markus
Record Type:: Book
Extent:: 1 online resource (184 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)