Subject: Computer Science - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Computer Science

981. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. (2016)

Editors:: Bonakdarpour, Borzoo; Petit, Franck
Other Names:: SSS (Symposium), 18th
Record Type:: Book
Extent:: 1 online resource (xiii, 432 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

982. 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) ↗

983. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016)

Editors:: Ribeiro, Leila; Lecomte, Thierry
Other Names:: Brazilian Symposium on Formal Methods, 19th
Record Type:: Book
Extent:: 1 online resource (x, 253 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

984. Handbook of big data technologies. (2017)

Editors:: Zomaya, Albert Y; Sakr, Sherif, 1979-
Record Type:: Book
Extent:: 1 online resource, illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

985. Information security and cryptology -- ICISC 2016 : 19th International Conference, Seoul, South Korea, November 30-December 2, 2016, Revised selected papers /: 19th International Conference, Seoul, South Korea, November 30-December 2, 2016, Revised selected papers. (2017)

Editors:: Hong, Seokhie; Park, Jong Hwan
Other Names:: ICISC (Conference), 19th
Record Type:: Book
Extent:: 1 online resource (xvi, 351 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

986. Security, privacy, and anonymity in computation, communication, and storage : 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings /: 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings. (2016)

Editors:: (Computer scientist), Wang, Guojun; Ray, Indrakshi; Alcaraz Calero, Jose M; Thampi, Sabu M
Other Names:: SpaCCS (Conference), 9th
Record Type:: Book
Extent:: 1 online resource (xvi, 508 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

987. Brainlesion : glioma, multiple sclerosis, stroke and traumatic brain injuries : second International Workshop, BrainLes 2016, with the challenges on BRATS, ISLES and mTOP 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised selected papers /: glioma, multiple sclerosis, stroke and traumatic brain injuries : second International Workshop, BrainLes 2016, with the challenges on BRATS, ISLES and mTOP 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised selected papers. (2016)

Editors:: Crimi, Alessandro; Menze, Bjoern; Maier, Oskar; Reyes, Mauricio; Winzeck, Stefan; Handels, Heinz
Other Names:: BrainLes (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 19th, jointly held conference
Record Type:: Book
Extent:: 1 online resource (xi, 292 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

988. Evolutionary computation in combinatorial optimization : 17th European Conference, EvoCOP 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings /: 17th European Conference, EvoCOP 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. (2017)

Editors:: Dr, Hu, Bin; López-Ibáñez, Manuel
Other Names:: EvoCOP (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xii, 249 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

989. Chinese computational linguistics and natural language processing based on naturally annotated big data : 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings /: 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings. (2016)

Editors:: Sun, Maosong; Huang, Xuanjing; Lin, Hongfei; Liu, Zhiyuan; Liu, Yang
Other Names:: CCL (Conference), 15th; NLP-NABD (Symposium), 4th
Record Type:: Book
Extent:: 1 online resource (xviii, 460 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

990. Wireless and satellite systems : 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings /: 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings. (2017)

Editors:: Otung, Ifiok; Pillai, Prashant; Eleftherakis, George; Giambene, Giovanni, 1966-
Other Names:: International Conference on Wireless and Satellite Systems, 8th
Record Type:: Book
Extent:: 1 online resource (xi, 236 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗