21. Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. (2015) Editors: Campos, Javier, 1963-; Haverkort, Boudewijn R Other Names: International Conference on the Quantitative Evaluation of Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. 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) ↗
23. 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) ↗
24. 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) ↗
25. 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) ↗
26. Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings /: 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings. (2018) Editors: Câmpeanu, Cezar Other Names: CIAA (Conference), 23rd Record Type: Book Extent: 1 online resource (xi, 339 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Python unit test automation : practical techniques for Python developers and testers /: practical techniques for Python developers and testers. (2017) Authors: Pajankar, Ashwin Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Practical Python design patterns : Pythonic solutions to common problems /: Pythonic solutions to common problems. ([2017]) Authors: Badenhorst, Wessel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Domain-Specific Languages in R : Advanced Statistical Programming /: Advanced Statistical Programming. ([2018]) Authors: Mailund, Thomas Record Type: Book Extent: 1 online resource (ix, 257 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Pro machine learning algorithms : a hands-on approach to implementing algorithms in Python and R /: a hands-on approach to implementing algorithms in Python and R. (2018) Authors: Ayyadevara, V. Kishore Record Type: Book Extent: 1 online resource (xxi, 372 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗