271. Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 522 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
272. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
273. Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
274. 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) ↗
275. 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) ↗
276. 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) ↗
277. 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) ↗
278. Lua Quick Start Guide : The easiest way to learn Lua programming /: The easiest way to learn Lua programming. (2018) Authors: Szauer, Gabor Record Type: Book Extent: 1 online resource (202 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
279. 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) ↗
280. 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) ↗