31. Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /: second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 2nd Record Type: Book Extent: 1 online resource (xv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. 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) ↗
33. Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings /: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings. (2016) Editors: Jacobs, Bart; Löding, Christof Other Names: FOSSACS (Conference), 19th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xi, 550 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. (2017) Editors: Esparza, Javier; Murawski, Andrzej S Other Names: FOSSACS (Conference), 20th; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xvii, 568 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. 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) ↗
36. Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /: 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. (2019) Editors: Bojańczyk, Mikołaj; Simpson, Alex Other Names: FOSSACS (Conference), 22nd; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xv, 542 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Information science and applications 2018 : ICISA 2018 /: ICISA 2018. ([2019]) Editors: Kim, Kuinam J; Baek, Nakhoon Other Names: International Conference on Information Science and Applications Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Mathematical software -- ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. (2016) Editors: Greuel, G.-M (Gert-Martin); Koch, Thorsten, 1967-; Paule, Peter; Sommese, Andrew John Other Names: International Congress of Mathematical Software, 5th Record Type: Book Extent: 1 online resource (xxiv, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018) Editors: Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef Other Names: International Congress of Mathematical Software, 6th Record Type: Book Extent: 1 online resource (xix, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. 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) ↗