1. The discrete math workbook : a companion manual for practical study /: a companion manual for practical study. (2018) Authors: Kurgalin, Sergei; Borzunov, Sergei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Product-focused software process improvement : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings /: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings. (2018) Editors: Kuhrmann, Marco; (Prof. Dr.), Schneider, Kurt; Pfahl, Dietmar; Amasaki, Sousuke; Ciolkowski, Marcus; Hebig, Regina; Tell, Paolo; Klünder, Jil; Küpper, Steffen Other Names: PROFES (Conference), 19th Record Type: Book Extent: 1 online resource (xxiv, 458 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
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 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) ↗
8. 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) ↗
9. 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) ↗
10. 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) ↗