1. Bidirectional transformations : International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /: International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures. (2018) Editors: Gibbons, Jeremy, 1966-; Stevens, Perdita Other Names: International Summer School on Bidirectional Transformations Record Type: Book Extent: 1 online resource (ix, 189 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Cell mapping methods : algorithmic approaches and applications /: algorithmic approaches and applications. ([2019]) Authors: Sun, Jian-Qiao; Xiong, Fu-Rui; (Computer scientist), Schütze, Oliver; Hernandez, Carlos Record Type: Book Extent: 1 online resource (xv, 226 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Lectures on the Curry-Howard isomorphism. (2006) Other Names: Sørensen, Morten Heine; Urzyczyn, Paweł Record Type: Book Extent: 1 online resource (456 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Symmetry in complex network systems : connecting equivariant bifurcation theory with engineering applications /: connecting equivariant bifurcation theory with engineering applications. ([2018]) Authors: In, Visarath; Palacios, Antonio Record Type: Book Extent: 1 online resource (xv, 406 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗