51. Dynamic SQL : applications, performance, and security /: applications, performance, and security. (2016) Authors: Pollack, Edward Record Type: Book Extent: 1 online resource (xx, 279 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Engineering multi-agent systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, selected, and invited papers /: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, selected, and invited papers. (2016) Editors: Baldoni, Matteo, 1968-; Müller, J. P (Jörg P.), 1965-; Nunes, Ingrid; Zalila-Wenkstern, Rym Other Names: EMAS (Workshop), 4th Record Type: Book Extent: 1 online resource (xii, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016) Editors: Liu, Zhiming; Zhang, Zili Other Names: International School on Engineering Trustworthy Software Systems, 1st Record Type: Book Extent: 1 online resource (xi, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Erlang and Elixir for imperative programmers. (2016) Other Names: Loder, Wolfgang Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /: parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. (2016) Editors: Dutot, Pierre-François; Trystram, Denis Other Names: International EURO-PAR Conference, 22nd Record Type: Book Extent: 1 online resource (xxix, 699 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers /: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers. (2016) Editors: Maciaszek, Leszek; Filipe, Joaquim Other Names: ENASE (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. 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) ↗
58. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. (2016) Editors: Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying Record Type: Book Extent: 1 online resource (486 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗