1. 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) ↗
2. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016) Editors: Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo Other Names: FOPARA (Workshop), 4th Record Type: Book Extent: 1 online resource (ix, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers /: 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers. (2015) Editors: Fujita, Hamido; Selamat, Ali Other Names: IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, 13th Record Type: Book Extent: 1 online resource (xv, 406 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings /: 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings. (2015) Editors: Fujita, Hamido; Guizzi, Guido Other Names: IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers. (2015) Editors: Proietti, Maurizio, 1959-; Seki, Hirohisa Other Names: LOPSTR (Symposium), 24th Record Type: Book Extent: 1 online resource (xii, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers. (2018) Editors: Fioravanti, Fabio; Gallagher, John P Other Names: LOPSTR (Symposium), 27th Record Type: Book Extent: 1 online resource (xvi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers. (2019) Editors: Mesnard, Fred; Stuckey, Peter J Other Names: LOPSTR (Symposium), 28th Record Type: Book Extent: 1 online resource (xx, 203 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗