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 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) ↗
2. 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) ↗
3. 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) ↗
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 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) ↗
5. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xix, 601 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. History of nordic computing 4 : 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised selected papers /: 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised selected papers. (2015) Editors: Gram, Christian; Rasmussen, Per; Østergaard, Søren Duus Other Names: Working Conference on the History of Nordic Computing, 4th Record Type: Book Extent: 1 online resource (xiv, 387 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Mastering scale and complexity in software reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings. (2017) Editors: Botterweck, Goetz; Werner, Claudia Other Names: International Conference on Software Reuse, 16th Record Type: Book Extent: 1 online resource (xv, 225 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Modelling foundations and applications : 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /: 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. (2018) Editors: Pierantonio, Alfonso; Trujillo, Salvador Other Names: ECMFA (Conference), 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xvi, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗