1. Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings. (2015) Editors: Chen, Yunji; Ienne, Paolo; Ji, Qing Other Names: APPT (Symposium), 11th Record Type: Book Extent: 1 online resource (ix, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Agile Android. ([2015]) Authors: Nolan, Godfrey Record Type: Book Extent: 1 online resource (xv, 95 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Android recipes : a problem-solution approach for Android 5.0 /: a problem-solution approach for Android 5.0. ([2015]) Authors: (Engineer), Smith, Dave Record Type: Book Extent: 1 online resource (xxviii, 750 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Beginning Django CMS. (2015) Authors: George, Nigel Record Type: Book Extent: 1 online resource (xxii, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Euro-Par 2015 : parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /: parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings. (2015) Editors: Träff, Jesper; Hunold, Sascha; Versaci, Francesco Other Names: International EURO-PAR Conference, 21st Record Type: Book Extent: 1 online resource (xxxv, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Expert F♯ 4.0. (2015) Authors: Syme, Don; Granicz, Adam; Cisternino, Antonio Record Type: Book Extent: 1 online resource (xxvii, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Expert T-SQL window functions in SQL server. ([2015]) Authors: Kellenberger, Kathi; Groom, Clayton Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗