1. Computability and complexity : essays dedicated to Rodney G. Downey on the occasion of his 60th birthday /: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. (2017) Editors: Day, Adam; Fellows, M. R (Michael Ralph), 1952-; Greenberg, Noam; Khoussainov, Bakhadyr, 1961-; Melʹnikov, A. V, 1953-; Rosamond, Frances Other Names: Downey, R. G (Rod G.) honouree. Record Type: Book Extent: 1 online resource (xlii, 755 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Discrete math workbook : a companion manual using python /: a companion manual using python. (2020) Other Names: Kurgalin, Sergei; Borzunov, Sergei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /: third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. (2019) Editors: Dongol, Brijesh; Petre, Luigia, 1974-; Smith, Graeme, 1966- Other Names: FMTea (Workshop), 3rd; International Symposium of Formal Methods Europe, 3rd Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗