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

New Search Subject Computer programming / software development

151 - 160 of 871

151. Computational autism. ([2016])

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

152. Computational methods in systems biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings /: 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings. (2017)

Editors:: Feret, Jérôme; Koeppl, Heinz
Other Names:: CMSB (Conference), 15th
Record Type:: Book
Extent:: 1 online resource (xiii, 332 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

153. Computational methods in systems biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /: 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. (2018)

Editors:: Češka, M (Milan); Šafránek, David
Other Names:: CMSB (Conference), 16th
Record Type:: Book
Extent:: 1 online resource (xxiii, 326 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

154. Compute-IT : Student's Book 3 - Computing for KS3 /: Student's Book 3 - Computing for KS3. (2015)

Authors:: Dorling, Mark; Rouse, George
Record Type:: Book
Extent:: 1 online resource (160 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

155. 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 I : (2017)

Editors:: Majumdar, Rupak; Kuncak, Viktor
Other Names:: CAV (Conference), 29th
Record Type:: Book
Extent:: 1 online resource (xix, 601 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

156. 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)

157. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015)

Editors:: Kroening, Daniel; Păsăreanu, Corina S
Other Names:: CAV (Conference), 27th
Record Type:: Book
Extent:: 1 online resource (xviii, 469 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

158. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015)

Editors:: Kroening, Daniel; Păsăreanu, Corina S
Other Names:: CAV (Conference), 27th
Record Type:: Book
Extent:: 1 online resource (xxiii, 677 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

159. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part II : (2016)

Editors:: Chaudhuri, Swarat; Farzan, Azadeh
Other Names:: CAV (Conference), 28th
Record Type:: Book
Extent:: 1 online resource (xvii, 521 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

160. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I : (2016)

Editors:: Chaudhuri, Swarat; Farzan, Azadeh
Other Names:: CAV (Conference), 28th
Record Type:: Book
Extent:: 1 online resource (xvii, 541 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)