271. Applied OpenStack Design Patterns : Design solutions for production-ready infrastructure with OpenStack components /: Design solutions for production-ready infrastructure with OpenStack components. (2016) Authors: Vyas, Uchit Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
272. Java APIs, Extensions and Libraries : With JavaFX, JDBC, jmod, jlink, Networking, and the Process API, Second Edition /: With JavaFX, JDBC, jmod, jlink, Networking, and the Process API, Second Edition. (2018) Authors: Sharan, Kishori Other Names: IT Pro - York University.; Skillsoft Books - York University. Record Type: Book Extent: 1 online resource (813 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
273. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
274. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015]) Editors: Canal, Carlos; Idani, Akram Other Names: International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th Record Type: Book Extent: 1 online resource (xxvii, 405 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
275. Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers /: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers. (2015) Editors: Zsók, Viktória; Horváth, Zoltán, 1962-; Csató, Lehel Other Names: Central European Functional Programming School, 5th Record Type: Book Extent: 1 online resource (vii, 507 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
276. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
277. Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. (2016) Editors: Gavanelli, Marco; Reppy, John Other Names: PADL (Symposium), 18th Record Type: Book Extent: 1 online resource (x, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
278. Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings. (2015) Editors: El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina Other Names: IFIP Working Group 6.1, organizer.; ICTSS (Conference), 27th Record Type: Book Extent: 1 online resource (269 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
279. Globalizing domain-specific languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers. (2015) Editors: Cheng, Betty H. C Other Names: Globalizing Domain-Specific Languages (Seminar) Record Type: Book Extent: 1 online resource (89 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
280. OpenSHMEM and related technologies : experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers /: experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised selected papers. (2015) Editors: Gorentla Venkata, Manjunath; Shamis, Pavel; Imam, Neena; Lopez, M. Graham Other Names: OpenSHMEM (Workshop), 2nd Record Type: Book Extent: 1 online resource (x, 199 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗