51. Cloud computing and services sciences : International Conference in Cloud Computing and Services Sciences, CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised selected papers /: International Conference in Cloud Computing and Services Sciences, CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised selected papers. (2015) Editors: Helfert, Markus; Desprez, Frédéric; Ferguson, Donald; Leymann, Frank; Méndez Muñoz, Victor Other Names: International Conference on Cloud Computing and Services Science, 4th Record Type: Book Extent: 1 online resource (xvi, 229 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Cloud portability and interoperability : issues and current trends /: issues and current trends. (2015) Authors: Di Martino, Beniamino; Cretella, Giuseppina; Esposito, Antonio Record Type: Book Extent: 1 online resource (xiv, 121 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Collaboration and Technology : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings /: 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings. (2015) Editors: Baloian, Nelson; Zorian, Yervant; Taslakian, Perouz; Shoukouryan, Samvel Other Names: International Workshop on Groupware, 21st Record Type: Book Extent: 1 online resource (xii, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Combinatorics on words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings. (2015) Editors: Manea, Florin; Nowotka, Dirk Other Names: WORDS (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 237 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Computational methods in systems biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. (2015) Editors: Roux, Olivier; Bourdon, Jérémie Other Names: CMSB (Conference), 13th Record Type: Book Extent: 1 online resource (xix, 288 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. 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) ↗
57. 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) ↗
58. Computer engineering and technology : 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised selected papers /: 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised selected papers. (2015) Editors: Xu, Weixia; Xiao, Liquan; (Computer scientist), Li, Jinwen; (Computer scientist), Zhang, Chengyi Other Names: NCCET (Conference), 19th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings /: SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th; ASSURE (Workshop), 3rd; DECSoS (Workshop), 2nd; ISSE (Workshop), 2nd; ReSA4CI (Workshop), 2nd; SASSUR (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗