 |
0 索取号:TP3-53/E905/24 作者:Symposium on Foundations of Computer Science (24th : 1983 : Tucson、 Ariz.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Silver Spring, Md. : IEEE Computer Society Pr., c1983.
|  |
0 索取号:TP3-53/E905/23 作者:Symposium on Foundations of Computer Science (23rd : 1982 : Chicago、 Ill.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:New York : IEEE, c1982.
|
 |
0 索取号:TP3-53/E905/22 作者:Symposium on Foundations of Computer Science (22nd : 1981 : Nashville、 Tenn.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:New York : IEEE, 1981.
|  |
0 索取号:TP18/E9921 作者: 出版社:Boston : Academic Press, 1991.
|
 |
0 索取号:TP11-53/E904 作者: 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
|  |
0 索取号:TP301.6/E20071 作者:Malik、 D. S.、 出版社:北京 : 高等教育出版社, 2005.
|
 |
0 索取号:O175.24/E20071 作者: 出版社:北京 : 科学出版社, 2006.
|  |
0 索取号: 作者:Tao、 Terence、 1975-、Conference Board of the Mathematical Sciences.、 出版社:Providence, R.I. : American Mathematical Society, c2006.
|
 |
0 索取号:TP301-53/E991/20 作者:IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2004.
|  |
0 索取号:O302/E20071 作者:Temam、 Roger.、Miranville、 Alain.、 出版社:北京 : 世界图书出版公司, 2003.
|
 |
0 索取号:TN919.8/E20061 作者:Winkler、 Gerhard、 1946-、 出版社:北京 : 世界图书出版公司, c1999.
|  |
0 索取号:F830.9/E200611 作者:Kwok、 Y. K. (Yue-Kuen)、 1957-、 出版社:北京 : 世界图书出版公司, c2002.
|
 |
0 索取号:TU311.3/E20061 作者: 出版社:Wien ; New York : Springer, 2005.
|  |
0 索取号:O243/E20061.2-2 作者:Aubert、 Gilles.、Kornprobst、 Pierre.、 出版社:New York : Springer, c2006.
|
 |
0 索取号:O241/E20072 作者:Foundations of Computational Mathematics Conference (2005 : Santander、 Spain)、Pardo、 L. M. (Luis M.)、London Mathematical Society.、 出版社:Cambridge : Cambridge University Press, c2006.
|  |
0 索取号:F224.0/E20072 作者:Mak、 Don K.、 出版社:Hackensack, N.J. : World Scientific, c2006.
|