1. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017) Editors: Bozzano, Marco; Papadopoulos, Yiannis Other Names: IMBSA 2017 Record Type: Book Extent: 1 online resource (x, 273 pages 109 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Intelligent computer mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. (2018) Editors: Rabe, Florian; Farmer, William M; Passmore, Grant O; Youssef, Abdou Other Names: CICM (Conference), 11th Record Type: Book Extent: 1 online resource (XII, 287 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗