1.

図書
図書
1. Mathematical logic for computer science. 2nd ed
Lu Zhongwan
出版情報: Singapore : World Scientific, c1998
シリーズ名: Series in computer science ; v. 47
所蔵情報: 研究室
2.

図書
図書
2. Category theory for computing science. 2nd ed
Michael Barr and Charles Wells
出版情報: London ; New York : Prentice Hall, c1995
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館
3.

図書
図書
3. Discrete mathematics for computing
A. Vince and C. Morris
出版情報: New York : Ellis Horwood, 1990
シリーズ名: Ellis Horwood series in mathematics and its applications ; Statistics, operational reseach and computational mathematics
所蔵情報: 図書館
4.

図書
図書
4. Concrete mathematics : a foundation for computer science
Ronald L. Graham, Donald E. Knuth, Oren Patashnik
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1989
所蔵情報: 図書館, 研究室
5.

図書
図書
5. Mathematics for large scale computing
edited by J.C. Díaz
出版情報: New York : M. Dekker, c1989
シリーズ名: Lecture notes in pure and applied mathematics ; v. 120
所蔵情報: 図書館
6.

図書
図書
6. The complexity of Boolean networks
Paul E. Dunne
出版情報: London ; Tokyo : Academic Press, 1988
シリーズ名: A.P.I.C. series ; no. 29
所蔵情報: 図書館
7.

図書
図書
7. Algebraic theory of processes
Matthew Hennessy
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: 研究室
8.

図書
図書
8. Discrete mathematics : applied combinatorics and graph theory
Michael Townsend
出版情報: Menlo Park, Calif. ; Tokyo : Benjamin/Cummings Pub. Co., c1987
所蔵情報: 図書館, 研究室
9.

図書
図書
9. Combinatorics for computer science
by S. Gill Williamson
出版情報: Rockville, Md. : Computer Science Press, 1985
シリーズ名: Computers and math series
所蔵情報: 図書館
10.

図書
図書
10. Discrete mathematics
Kenneth A. Ross, Charles R.B. Wright
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985
所蔵情報: 図書館