1. A geometric algebra invitation to space-time physics, robotics and molecular geometry. ([2018]) Authors: Lavor, Carlile; Xambó-Descamps, S (Sebastián), 1945-; Zaplana, Isiah Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. (2016) Editors: Horia Dediu, Adrian; Janousek, Jan; Martín Vide, Carlos; Truthe, Bianca Other Names: LATA (Conference), 10th Record Type: Book Extent: 1 online resource (xv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. (2015) Editors: Botana, Francisco; Quaresma, Pedro Other Names: International Workshop on Automated Deduction in Geometry, 10th Record Type: Book Extent: 1 online resource (ix, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings /: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (2015) Editors: Kerber, Manfred, 1956-; (Computer scientist), Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker Other Names: CICM (Conference) Record Type: Book Extent: 1 online resource (xxi, 359 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. WALCOM : algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /: algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings. (2016) Editors: Kāẏakobāda, Mohāmmada, 1954-; Petreschi, Rossella, 1950- Other Names: WALCOM (Workshop), 10th Record Type: Book Extent: 1 online resource (xix, 362 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Monomial ideals and their decompositions. (2018) Authors: Moore, W. Frank; Rogers, Mark; Sather-Wagstaff, Sean Record Type: Book Extent: 1 online resource (xxiv, 387 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computational methods in systems biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. (2016) Editors: (Computer scientist), Bartocci, Ezio; Liò, Pietro; Paoletti, Nicola Other Names: CMSB (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Geospatial algebraic computations : theory and applications /: theory and applications. (2016) Authors: Awange, Joseph L, 1969-; Paláncz, Béla, 1944- Record Type: Book Extent: 1 online resource (xx, 541 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. (2017) Editors: Kennedy, Juliette, 1955-; Queiroz, Ruy J. G. B. de Other Names: Workshop on Logic, Language, Information and Computation, 24th Record Type: Book Extent: 1 online resource (x, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Präzises Denken für Informatiker. (2017) Authors: Wolf, Karsten Record Type: Book Extent: 1 online resource (184 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗