21. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018) Editors: Baier, Christel; (Computer scientist), Dal Lago, Ugo Other Names: FOSSACS (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xv, 583 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures /: third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures. (2018) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 3rd Record Type: Book Extent: 1 online resource (xvii, 219 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers /: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers. (2015) Editors: Holzinger, Andreas; Cardoso, Jorge, 1970-; Cordeiro, José; Libourel, Thérèse; Maciaszek, Leszek; Sinderen, Marten J. van, 1958- Other Names: ICSOFT (Conference), 9th Record Type: Book Extent: 1 online resource (xvi, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Computational science and its applications -- ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings.: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part III (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe, 1972-; Torre, Carmelo Maria; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, Elena; Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 766 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Mathematical software -- ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings /: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. (2020) Other Names: Bigatti, Anna M (Anna Maria), 1965-; (Computer scientist), Carette, Jacques; Davenport, James H; Joswig, Michael, 1965-; Wolff, Timo de; International Congress of Mathematical Software, 7th Record Type: Book Extent: 1 online resource (491 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures /: 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures. ([2020]) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 5rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. Part III (2020) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Garau, Chiara; Blečić, Ivan; Taniar, David; Apduhan, Bernady O; Rocha, Ana Maria A. C (Ana Maria Alves Coutinho); Tarantino, Eufemia; Torre, Carmelo Maria; Karaca, Yeliz Other Names: ICCSA (Conference), 20th Record Type: Book Extent: 1 online resource (xlii, 1037 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. Part IV (2020) Other Names: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Garau, Chiara; Blečić, Ivan; Taniar, David; Apduhan, Bernady O; Rocha, Ana Maria A. C (Ana Maria Alves Coutinho); Tarantino, Eufemia; Torre, Carmelo Maria; ICCSA (Conference), 20th Record Type: Book Extent: 1 online resource (1085 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. Part VI (2020) Other Names: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Garau, Chiara; Blečić, Ivan; Taniar, David; Apduhan, Bernady O; Rocha, Ana Maria A. C (Ana Maria Alves Coutinho); Tarantino, Eufemia; Torre, Carmelo Maria; Karaca, Yeliz; ICCSA (Conference), 20th Record Type: Book Extent: 1 online resource (1067 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Computational science and its applications -- ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings.: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings. Part VII ([2020]) Other Names: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Garau, Chiara; Blečić, Ivan; Taniar, David; Apduhan, Bernady O; Rocha, Ana Maria A. C (Ana Maria Alves Coutinho); Tarantino, Eufemia; Torre, Carmelo Maria; Karaca, Yeliz; ICCSA (Conference), 20th Record Type: Book Extent: 1 online resource (xliii, 1009 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗