1. Computational Science and Its Applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part I : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Software technologies : applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised selected papers /: applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised selected papers. ([2018]) Editors: Mazzara, Manuel; Ober, Iulian; Salaün, G (Gwen) Other Names: STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (XXIV, 418 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. Computational Science and Its Applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part V : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 779 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings. Part IV : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvii, 819 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings. Part III : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxv, 684 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part II : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 785 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers /: applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised selected papers. ([2018]) Editors: Seidl, Martina; Zschaler, Steffen Other Names: STAF (Federation of conferences); GCM (Workshop), 8th; GRAND (Workshop), 1st; MORSE (Workshop), 4th; OCL (Workshop), 17th Record Type: Book Extent: 1 online resource (XXIV, 418 pages), 133 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. 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) ↗
10. 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) ↗