801. Applied reconfigurable computing : architectures, tools, and applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, proceedings /: 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, proceedings. (2018) Editors: Voros, Nikolaos; Huebner, Michael; Keramidas, Georgios; Goehringer, Diana; Antonopoulos, Christos; Diniz, Pedro C Other Names: ARC (Symposium), 14th Record Type: Book Extent: 1 online resource (XVI, 753 pages), 333 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
802. Security in computer and information sciences : first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised selected papers /: first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised selected papers. (2018) Editors: Gelenbe, Erol, 1945-; Campegiani, Paolo; Czachórski, Tadeusz; Katsikas, Sokratis K; Komnios, Ioannis; Romano, Luigi; Tzovaras, Dimitrios Other Names: Euro-CYBERSEC (Workshop), 1st Record Type: Book Extent: 1 online resource (xii, 159 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
803. Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers. (2018) Editors: Wang, Meng; Owens, Scott Other Names: International Symposium on Trends in Functional Programming, 18th Record Type: Book Extent: 1 online resource (VII, 149 pages), 48 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
804. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018) Editors: Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de Other Names: International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference Record Type: Book Extent: 1 online resource (xiv, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
805. Information and communications security : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, proceedings /: 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, proceedings. (2018) Editors: Qing, Sihan; Mitchell, Chris; Chen, Liqun; (Computer scientist), Liu, Dongmei Other Names: ICICS (Conference), 19th Record Type: Book Extent: 1 online resource (XVI, 689 pages), 168 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
806. Hybrid artificial intelligent systems : 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings /: 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Cos Juez, Francisco Javier de; Villar, José Ramón; De la Cal, Enrique A; Herrero, Alvaro; Quintián, Héctor; Sáez, José Antonio; Corchado, Emilio Other Names: HAIS (Conference), 13th Record Type: Book Extent: 1 online resource (xix, 755 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
807. Constructive side-channel analysis and secure design : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings /: 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings. (2018) Editors: Fan, Junfeng; Gierlichs, Benedikt Other Names: COSADE (Workshop), 9th Record Type: Book Extent: 1 online resource (x, 263 pages), 79 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
808. NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. (2018) Editors: Dutle, Aaron Michael; Muñoz, César A, 1968-; Narkawicz, Anthony Joseph, 1982- Other Names: NFM (Symposium), 10th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
809. Mobile networks and management : 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings /: 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings. (2018) Editors: Hu, Jiankun; K̲h̲alīl, Ibrāhīm; Tari, Zahir; (Computer scientist), Wen, Sheng Other Names: International Conference on Mobile Networks and Management, 9th Record Type: Book Extent: 1 online resource (xiii, 392 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
810. Context-Aware Systems and Applications, and Nature of Computation and Communication : 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings /: 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings. (2018) Editors: Cong-Vinh, Phan; Ha Huy Cuong, Nguyen; Vassev, Emil Record Type: Book Extent: 1 online resource (237 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗