101. Command Line Fundamentals : Learn to use the Unix command-line tools and Bash shell scripting /: Learn to use the Unix command-line tools and Bash shell scripting. (2018) Authors: N, Vivek Record Type: Book Extent: 1 online resource (314 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Computability and complexity : essays dedicated to Rodney G. Downey on the occasion of his 60th birthday /: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. (2017) Editors: Day, Adam; Fellows, M. R (Michael Ralph), 1952-; Greenberg, Noam; Khoussainov, Bakhadyr, 1961-; Melʹnikov, A. V, 1953-; Rosamond, Frances Other Names: Downey, R. G (Rod G.) honouree. Record Type: Book Extent: 1 online resource (xlii, 755 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. 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) ↗
104. 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) ↗
105. 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) ↗
106. 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) ↗
107. 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) ↗
108. 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) ↗
109. 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) ↗
110. 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) ↗