351. Learn WatchKit for iOS. (2015) Authors: Topley, Kim Record Type: Book Extent: 1 online resource (xvii, 464 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
352. 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) ↗
353. 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) ↗
354. 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) ↗
355. Learning Groovy. (2016) Authors: Davis, Adam L Record Type: Book Extent: 1 online resource (xxi, 102 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
356. Learning web-based virtual reality : build and deploy web-based virtual reality technology /: build and deploy web-based virtual reality technology. (2017) Authors: Neelakantam, Srushtika; Pant, Tanay Record Type: Book Extent: 1 online resource (xiv, 83 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
357. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
358. 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) ↗
359. 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. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
360. Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016) Authors: Lamprecht, Anna-Lena Other Names: ISoLA (Symposium), 6th; ISoLA (Symposium), 5th Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗