41. 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) ↗
42. Make a 2D RPG in a weekend : with RPG Maker MV /: with RPG Maker MV. (2015) Authors: Perez, Darrin Record Type: Book Extent: 1 online resource (xxii, 241 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Make an e-commerce site in a weekend : using PHP /: using PHP. (2015) Authors: Harwani, B. M Record Type: Book Extent: 1 online resource (xviii, 123 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. 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) ↗
45. MATLAB recipes : a problem-solution approach /: a problem-solution approach. (2015) Authors: Paluszek, Michael; Thomas, Stephanie Record Type: Book Extent: 1 online resource (297 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Migrating from Drupal to Backdrop. (2015) Authors: Tomlinson, Todd Record Type: Book Extent: 1 online resource (xix, 89 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Migrating to Swift from web development. (2015) Authors: Liao, Sean; Punak, Mark Record Type: Book Extent: 1 online resource (xiv, 260 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. Numerical Python : a practical techniques approach for industry /: a practical techniques approach for industry. (2015) Authors: Johansson, Robert Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Object-oriented technology. (2015) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xiv, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗