 Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference ... Computer Science and General Issues)
 Logic and Algebra of Specification (NATO ASI Series / Computer and Systems Sciences)
 Algebra, Combinatorics and Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai)
 Computer Algebra in Scientific Computing: CASC 2000
 Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 911, 1990. Proceedings (Lecture Notes in Computer Science)
 Computer Algebra: Symbolic and Algebraic Computation (Computing. Supplementum)
 Perturbation Methods, Bifurcation Theory and Computer Algebra (Applied Mathematical Sciences) by Richard H. Rand, Dieter Armbruster, 19871005
 Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) by Horst Reichel, 19871203
 Computers in Algebra (Lecture Notes in Pure and Applied Mathematics)
 Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 2024, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
 Computer Algebra: EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 57, 1982 (Lecture Notes in Computer Science) (v. 144)
 Computer Algebra Systems: A New Software Toolbox for Maple by Victor Aladjev, 20040907
 Relativity and Scientific Computing: Computer Algebra, Numerics, Visualization
 Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 1216, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
