-
西文图书1.Concrete mathematics : a foundation for computer science / TP301.4/E1
馆藏复本:2
可借复本:2 Ronald L. Graham, Donald E. Knuth, Oren Patashnik = 具体数学 : 计算机科学基础 / 葛立恒, 高德纳,...
机械工业出版社, 2020
(0) 馆藏 -
中文图书2.可计算性与计算复杂性导引.第2版 TP301/31=2
馆藏复本:5
可借复本:4 张立昂编著
北京大学出版社 2004
(0) 馆藏 -
西文图书3.Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms. TP301.4-53/E1:1ST:(90)
馆藏复本:1
可借复本:1 ACM-SIAM Symposium on Discrete Algorithms
Society for Industrial and Applied Mathematics, c1990.
(0) 馆藏 -
中文图书4.可计算性与数理逻辑 TP301.4/1
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏 -
西文图书5.Computer algebra in industry : problem solving in practice : proceedings of the 1991 SCAFI Seminar a TP301.4-53/1:(91)E
馆藏复本:1
可借复本:1 edited by Arjeh M. Cohen.
Wiley, c1993.
(0) 馆藏