71. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Scalable uncertainty management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. (2017) Editors: Moral, Serafín, 1952-; Pivert, Olivier; Sánchez, Daniel; Marín, Nicolás Other Names: SUM (Conference), 11th Record Type: Book Extent: 1 online resource (xix, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017) Authors: Zeume, Thomas Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015) Editors: Meyer, Bertrand, 1950-; Nordio, Martin Other Names: LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th Record Type: Book Extent: 1 online resource (vii, 191 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015) Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio) Other Names: SERENE (Workshop), 7th Record Type: Book Extent: 1 online resource (ix, 145 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers /: applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers. (2016) Editors: Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel Other Names: STAF (Federation of conferences); DataMod (Symposium), 5th; GCM (Workshop), 7th; HOFM (Workshop), 3rd; MELO (Workshop), 2nd; SEMS (Workshop), 3rd; VeryComp (Workshop), 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. (2015) Editors: Blazy, Sandrine; Jensen, Thomas Other Names: International Static Analysis Symposium, 22nd Record Type: Book Extent: 1 online resource (xvi, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016) Editors: Rival, Xavier Other Names: International Static Analysis Symposium, 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗