471. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
472. Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers. (2018) Editors: Fioravanti, Fabio; Gallagher, John P Other Names: LOPSTR (Symposium), 27th Record Type: Book Extent: 1 online resource (xvi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
473. Logics for computer science : classical and non-classical /: classical and non-classical. (2018) Authors: Wasilewska, Anita Record Type: Book Extent: 1 online resource (x, 535 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
474. Logics in artificial intelligence : 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings /: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings. (2016) Editors: Michael, Loizos; Kakas, Antonis C Other Names: JELIA (Conference), 15th Record Type: Book Extent: 1 online resource (586 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
475. Low level X Window programming : an introduction by examples /: an introduction by examples. (2017) Authors: Maloney, Ross J Record Type: Book Extent: 1 online resource (xii, 264 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
476. Low-level programming : C, Assembly, and program execution on Intel® 64 architecture /: C, Assembly, and program execution on Intel® 64 architecture. ([2017]) Authors: Zhirkov, Igor Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
477. Lumen programmers guide : writing PHP microservices, REST and web service APIs /: writing PHP microservices, REST and web service APIs. (2016) Other Names: Redmond, Paul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
478. Machine Learning with R. (2017) Authors: Ghatak, Abhijit Record Type: Book Extent: 1 online resource (210 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
479. Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. (2015) Editors: Durand-Lose, Jérôme; Nagy, Benedek Other Names: MCU (Conference), 7th Record Type: Book Extent: 1 online resource (xx, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
480. Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018) Editors: Durand-Lose, Jérôme; Verlan, Sergey Other Names: MCU (Conference), 8th Record Type: Book Extent: 1 online resource (xvii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗