1. Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications /: an accessible introduction to the history, theory, logic and applications. (2016) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xxi, 368 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Information and communication technologies in education, research, and industrial applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. (2016) Editors: Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander; Batsakis, Sotiris Other Names: ICTERI (Conference), 11th Record Type: Book Extent: 1 online resource (xi, 157 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016) Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch Other Names: Boer, Frank S. de honouree. Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. (2016) Editors: Agha, Gul A; Houdt, Benny van Other Names: International Conference on the Quantitative Evaluation of Systems, 13th Record Type: Book Extent: 1 online resource (xvii, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Java design patterns : a tour of 23 gang of four design patterns in Java /: a tour of 23 gang of four design patterns in Java. ([2016]) Authors: Sarcar, Vaskaran Record Type: Book Extent: 1 online resource (xxiv, 271 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Devops on the Microsoft stack. (2016) Authors: Kort, Wouter de Record Type: Book Extent: 1 online resource (xix, 288 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Learning Groovy. (2016) Authors: Davis, Adam L Record Type: Book Extent: 1 online resource (xxi, 102 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Lumen programmers guide : writing PHP microservices, REST and web service APIs /: writing PHP microservices, REST and web service APIs. (2016) Other Names: Redmond, Paul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗