441. Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /: 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings. (2017) Editors: Martínez de Pisón, Francisco Javier; Urraca, Rubén; Quintián, Héctor; Corchado, Emilio Other Names: HAIS (Conference), 12th Record Type: Book Extent: 1 online resource (xviii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
442. Scale space and variational methods in computer vision : 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings /: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. (2017) Editors: Lauze, Francois; Dong, Yiqiu; Dahl, Anders Bjorholm Other Names: SSVM (Conference), 6th Record Type: Book Extent: 1 online resource (xv, 708 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
443. Computer information systems and industrial management : 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings /: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings. (2017) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław; Chaki, Rituparna Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 16th Record Type: Book Extent: 1 online resource (xxii, 710 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
444. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
445. Job scheduling strategies for parallel processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised selected papers /: 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised selected papers. (2017) Editors: Desai, Narayan (Narayan L.); Cirne, Walfredo Other Names: JSSPP (Workshop), 19th; JSSPP (Workshop), 20th Record Type: Book Extent: 1 online resource (x, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
446. Combinatorial image analysis : 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings /: 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings. (2017) Editors: Brimkov, Valentin E; Barneva, Reneta P Other Names: International Workshop on Combinatorial Image Analysis, 18th Record Type: Book Extent: 1 online resource (xv, 357 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
447. Software engineering for self-adaptive systems. International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers /: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers. Assurances : III, (2017) Editors: Lemos, Rogério de, 1961-; Garlan, David; Ghezzi, Carlo; Giese, Holger Other Names: Software Engineering for Self-Adaptive Systems (Seminar), 3rd Record Type: Book Extent: 1 online resource (x, 435 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
448. Human centered computing : Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017, Revised selected papers /: Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017, Revised selected papers. ([2018]) Editors: Zu, Qiaohong; Hu, Bo Other Names: HCC (Conference : Human Centered Computing), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
449. Modeling decisions for artificial intelligence : 14th International Conference, MDAI 2017, Kitakyushu, Japan, October 18-20, 2017, Proceedings /: 14th International Conference, MDAI 2017, Kitakyushu, Japan, October 18-20, 2017, Proceedings. (2017) Editors: Torra, Vicenç; Narukawa, Yasuo; Honda, Aoi; Inoue, Sozo Other Names: MDAI (Conference), 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
450. Network and parallel computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings. (2017) Editors: Shi, Xuanhua; An, Hong; Wang, Chao; Kandemir, Mahmut; Jin, Hai Other Names: NPC (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 162 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗