 Polynomial Algorithms in Computer Algebra (Texts and Monographs in Symbolic Computation) by Franz Winkler, 19960802
 Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series) by J.C.M. Baeten, C.A. Middelburg, 20101102
 Geometric Algebra Computing: in Engineering and Computer Science
 Computer Algebra Recipes: An Advanced Guide to Scientific Modeling by Richard H. Enns, George C. McGuire, 20070112
 Boolean Algebra with Computer Applications by Gerald E. Williams, 19700227
 Universal Algebra and Applications in Theoretical Computer Science by Klaus Denecke, Shelly L. Wismath, 20020118
 Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) by Wan Fokkink, 20101102
 Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics) by J. Rafael Sendra, Franz Winkler, et all 20071108
 Boolean Algebra for Computer Logic by Harold E. Ennes, 197808
 Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics
 Algebra 1 Computer Test Generator with CDROM by Prentice Hall, 2004
 Geometric Algebra: An Algebraic System for Computer Games and Animation by John A. Vince, 20090708
 Combinatorial Aspects of Commutative Algebra: Exploratory Workshop on Combinatorial Commutative Algebra and Computer Algebra May 2931, 2008 Mangalia, Romania (Contemporary Mathematics)
 SymbolicC++: An Introduction to Computer Algebra using ObjectOriented Programming (Volume 0) by Kiat Shi Tan, WilliHans Steeb, et all 20000315
