61. 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) ↗
62. Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers. ([2015]) Editors: Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M; Zandron, Claudio Other Names: CMC (Conference : Membrane computing), 16th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Microservices, IoT, and Azure : leveraging DevOps and microservice architecture to deliver SaaS solutions /: leveraging DevOps and microservice architecture to deliver SaaS solutions. (2015) Authors: Familiar, Bob Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. 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) ↗
65. 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) ↗
66. 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) ↗
67. Object-oriented analysis, design and implementation : an integrated approach /: an integrated approach. ([2015]) Authors: Dathan, Brahma; Ramnath, Sarnath Record Type: Book Extent: 1 online resource (xix, 471 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. 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) ↗
69. Online game pioneers at work : interviews with some of the top online game pioneers of our times /: interviews with some of the top online game pioneers of our times. (2015) Authors: Ramsay, Morgan Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Open source geospatial tools : applications in earth observation /: applications in earth observation. ([2015]) Authors: McInerney, Daniel O; Kempeneers, Pieter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗