41. Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. ([2018]) Editors: Klein, Shmuel Tomi; Martín Vide, Carlos; Shapira, Dana Other Names: LATA (Conference), 12th Record Type: Book Extent: 1 online resource (x, 321 pages), 39 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. 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) ↗
43. 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) ↗
44. 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) ↗
45. Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. (2017) Editors: Ghosh, Sujata; Prasad, Sanjiva Other Names: ICLA (Conference : Logic), 7th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. (2015) Editors: Calimeri, Francesco; Ianni, Giovambattista; Truszczyński, Mirosław Other Names: LPNMR (Conference), 13th Record Type: Book Extent: 1 online resource (xiv, 574 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. (2017) Editors: Balduccini, Marcello; Janhunen, Tomi Other Names: LPNMR (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 359 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. (2016) Editors: Väänänen, J (Jouko), 1950-; Hirvonen, Åsa; Queiroz, Ruy J. G. B. de Other Names: Workshop on Logic, Language, Information and Computation, 23rd Record Type: Book Extent: 1 online resource (xxii, 447 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. (2017) Editors: Baltag, Alexandru; Seligman, Jeremy; Yamada, Tomoyuki Other Names: LORI (Workshop), 6th Record Type: Book Extent: 1 online resource (xii, 694 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗