41. 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) ↗
42. Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. (2018) Editors: Moss, Lawrence Stuart, 1959-; Queiroz, Ruy J. G. B. de; Martinez, Maricarmen Other Names: Workshop on Logic, Language, Information and Computation, 25th Record Type: Book Extent: 1 online resource (xviii, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. 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) ↗
44. 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) ↗
45. Mastering scale and complexity in software reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings. (2017) Editors: Botterweck, Goetz; Werner, Claudia Other Names: International Conference on Software Reuse, 16th Record Type: Book Extent: 1 online resource (xv, 225 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018) Editors: Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef Other Names: International Congress of Mathematical Software, 6th Record Type: Book Extent: 1 online resource (xix, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings. (2015) Editors: Hinze, Ralf; Voigtländer, Janis, 1977- Other Names: MPC (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015) Editors: Fischer, Bernd; Geldenhuys, Jaco Other Names: International SPIN Workshop, 22nd Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗