- Introductory Discrete Mathematics (Dover Books on Mathematics) by V. K . Balakrishnan, 1996-07-01
- Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce, 1991-08-07
- Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics) by J. Rafael Sendra, Franz Winkler, et all 2007-11-08
- Computer Algebra with LISP and REDUCE: An Introduction to Computer-Aided Pure Mathematics (Mathematics and Its Applications) by F. Brackx, D. Constales, 1991-10-04
- Logic for Mathematics and Computer Science by Stanley N. Burris, 1997-08-18
- Windows on Mathematical Meanings: Learning Cultures and Computers (Mathematics Education Library) by R. Noss, Celia Hoyles, 1996-06-30
- Shape Interrogation for Computer Aided Design and Manufacturing (Mathematics and Visualization) by Nicholas M. Patrikalakis, Takashi Maekawa, 2002-03-22
- Computer Algebra Methods for Equivariant Dynamical Systems (Lecture Notes in Mathematics) by Karin Gatermann, 2000-04-26
- Descriptive Complexity and Finite Models: Proceedings of a Dimacs Workshop January 14-17, 1996 Princeton University (Dimacs Series in Discrete Mathematics and Theoretical Computer Science) by DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University), 1997-01
- Introductory Computer Mathematics (2nd Edition) by Nigel P. Cook, 2002-07-26
- Combinatorics for Computer Science (Dover Books on Mathematics) by S. Gill Williamson, 2002-05-08
- Linear Algebra with Computer Applications (Pure and Applied Mathematics,) by Ronald I. Rothenberg, 1983-01
- Digital Picture Processing: Volume 2 (Computer Science and Applied Mathematics) by Azriel Rosenfeld, 1999-12
- Image Reconstruction from Projections: The Fundamentals of Computerized Tomography (Computer Science and Applied Mathematics) by Gabor T. Herman, 1980-10
|