61. Intelligent systems and applications : Proceedings of the 2020 Intelligent Systems Conference (IntelliSys).: Proceedings of the 2020 Intelligent Systems Conference (IntelliSys). Volume 1 (2020) Other Names: Arai, Kohei; Kapoor, Supriya; Bhatia, Rahul; Intelligent Systems Conference Record Type: Book Extent: 1 online resource (803 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Intelligent systems and applications : Proceedings of the 2020 Intelligent Systems Conference (IntelliSys).: Proceedings of the 2020 Intelligent Systems Conference (IntelliSys). Volume 2 (2020) Other Names: Arai, Kohei; Kapoor, Supriya; Bhatia, Rahul; Intelligent Systems Conference Record Type: Book Extent: 1 online resource (783 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. International joint conference SOCO'17-CISIS'17-ICEUTE'17 León, Spain, September 6-8, 2017, Proceedings. ([2018]) Editors: García, Hilde Pérez; Alfonso-Cendón, Javier; González, Lidia Sánchez; Quintián, Héctor; Corchado, Emilio Other Names: SOCO (Conference), 12th; International Conference on Computational Intelligence in Security for Information Systems, 10th; ICEUTE (Conference), 8th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Learning and intelligent optimization : 10th International Conference, LION 10, Ischia, Italy, May 29-June 1, 2016, revised selected papers /: 10th International Conference, LION 10, Ischia, Italy, May 29-June 1, 2016, revised selected papers. (2016) Editors: Festa, Paola; Sellmann, Meinolf; Vanschoren, Joaquin Other Names: LION (Conference), 10th Record Type: Book Extent: 1 online resource (309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Learning and intelligent optimization : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised selected papers /: 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised selected papers. (2017) Editors: Battiti, Roberto, 1961-; Kvasov, Dmitri E; Sergeyev, Yaroslav D, 1963- Other Names: LION (Conference), 11th Record Type: Book Extent: 1 online resource (xiii, 390 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Learning and intelligent optimization : 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised selected papers /: 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised selected papers. ([2019]) Editors: Battiti, Roberto, 1961-; Brunato, Mauro; Kotsireas, Ilias; Pardalos, P. M (Panos M.), 1954- Other Names: LION (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 474 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Learning and intelligent optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, revised selected papers /: 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, revised selected papers. (2020) Editors: Matsatsinis, Nikolaos F; Marinakis, Yannis; Pardalos, P. M (Panos M.), 1954- Other Names: LION (Conference), 13th Record Type: Book Extent: 1 online resource (xiii, 400 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Learning and intelligent optimization : 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised selected papers /: 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised selected papers. (2020) Other Names: Kotsireas, Ilias; Pardalos, P. M (Panos M.), 1954-; LION (Conference), 14th Record Type: Book Extent: 1 online resource (443 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Learning and intelligent optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers /: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers. (2015) Editors: Dhaenens, Clarisse; Jourdan, Laetitia, 1976-; Marmion, Marie-Eléonore Other Names: LION (Conference), 9th Record Type: Book Extent: 1 online resource (xi, 313 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗