11. Theory of cryptography : 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II /: 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II. (2019) Editors: Hofheinz, Dennis; Rosen, Alon Other Names: Theory of Cryptography Conference, 17th Record Type: Book Extent: 1 online resource (xiv, 578 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers. (2016) Editors: Serrano, Manuel; Hage, Jurriaan Other Names: International Symposium on Trends in Functional Programming, 16th Record Type: Book Extent: 1 online resource (vii, 157 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers. (2018) Editors: Wang, Meng; Owens, Scott Other Names: International Symposium on Trends in Functional Programming, 18th Record Type: Book Extent: 1 online resource (VII, 149 pages), 48 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Trends in functional programming : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised selected papers /: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised selected papers. (2019) Editors: Pałka, Michal H, 1983-; Myreen, Magnus O Other Names: International Symposium on Trends in Functional Programming, 19th Record Type: Book Extent: 1 online resource (vii, 157 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Trends in functional programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers /: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. (2020) Other Names: (Professor of computer science), Bowman, William J; (Professor of computer science), Garcia, Ronald; International Symposium on Trends in Functional Programming, 20th Record Type: Book Extent: 1 online resource (150 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers /: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers. (2020) Other Names: Byrski, Aleksander; Hughes, John; International Symposium on Trends in Functional Programming, 21st Record Type: Book Extent: 1 online resource (253 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Web reasoning and rule systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. (2016) Editors: Ortiz, Magdalena; Schlobach, Stefan Other Names: RR (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Web reasoning and rule systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings /: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. (2015) Editors: Cate, Balder David ten; Mileo, Alessandra Other Names: RR (Conference), 9th Record Type: Book Extent: 1 online resource (xvii, 131 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗