11. Maple animation. (2003) Other Names: Putz, John F Record Type: Book Extent: 1 online resource (xiv, 216 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Numerical calculations in Clifford algebra : a practical guide for engineers and scientists /: a practical guide for engineers and scientists. (2023) Authors: Seagar, Andrew Record Type: Book Extent: 1 online resource (496 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. String analysis for software verification and security. ([2017]) Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001) Other Names: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-; CALCULEMUS-2000 Symposium Record Type: Book Extent: 1 online resource (288 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. The Maple book. (©2002) Other Names: Garvan, Frank (Frank G.), 1955-; Garvan, Frank (Frank G.), 1955- Record Type: Book Extent: 1 online resource (479 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. The Maple V primer : release 4 /: release 4. (2021) Other Names: Garvan, Frank (Frank G.), 1955- Record Type: Book Extent: 1 online resource (160 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. The symbolic computation of integrability structures for partial differential equations. ([2017]) Other Names: Krasilʹshchik, I. S (Iosif Semenovich); Verbovetsky, Alexander; Vitolo, Raffaele Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗