大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (26th : 1985) 的图书(共7795本)

Mathematical analysis and its applications : proceedings of the International Conference on Mathematical Analysis and its Applications, Kuwait, 1985

0
索取号:O17-53/E903
作者:International Conference on Mathematical Analysis and its Applications (1985 : Kuwait、 Kuwait)、Mazhar、 S. M.、Hamoui、 A. (Adnan)、Faour、 N. S. (Nazih S.)、
出版社:Oxford ; New York : Pergamon, 1988.

Multivariate analysis--V : proceedings of the fifth International Symposium on Multivariate Analysis

0
索取号:O17-53/E901/5
作者:International Symposium on Multivariate Analysis、 5th、 University of Pittsburgh、 1978.、Krishnaiah、 Paruchuri R.、
出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Foundations of infinitesimal calculus

0
索取号:O17/E803
作者:Keisler、 H. Jerome.、
出版社:Boston : Prindle, Weber & Schmidt, c1976.

Problems and theorems in analysis

0
索取号:O17/E802
作者:P?olya、 George、 1887-1985.、Szeg··o、 G?abor、 1895-、
出版社:Berlin ; New York : Springer, 1972-76.

Computer modeling of complex biological systems

0
索取号:Q-3/E902
作者:
出版社:Boca Raton, Fla. : CRC Press, c1984.

Genes, cells, and behavior : a view of biology fifty years later : 50th anniversary symposium, Division of Biology, California Institute of Technology, November 1-3, 1978

0
索取号:Q-1/E901
作者:
出版社:San Francisco : W. H. Freeman, c1980.

Foundations of coding theory

0
索取号:O157.4/E802
作者:Hartnett、 William E.、
出版社:Dordrecht ; Boston : D. Reidel Pub., [1974].

Eurocode '90 : international symposium on coding theory and applications, Udine, Italy, November 5-9, 1990 : proceedings

0
索取号:O157-53/E991
作者:Eurocode '90 (1990 : Udine、 Italy)、Cohen、 G. (ǴЕrard)、 1951-、Charpin、 P. (Pascale)、 1949-、
出版社:Berlin ; New York : Springer-Verlag, c1991.

The best science fiction of Isaac Asimov

0
索取号:I712.45/E9038
作者:Asimov、 Isaac、 1920-、
出版社:Garden City, N.Y. : Doubleday, 1986.

Foundations of algebraic analysis

0
索取号:O15/E908
作者:Kashiwara、 Masaki、 1947-、Kawai、 Takahiro.、Kimura、 Tatsuo、 1947-、
出版社:Princeton, N.J. : Princeton University Press, 1986.

Louis Agassiz, a life in science

0
索取号:K826.1/E701
作者:Lurie、 Edward、 1927-、
出版社:London ; Baltimore : Chicago'Univ.Press ; Johns Hopkins University Press, 1960,c1988.

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

0
索取号:O141-53/E902
作者:Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、
出版社:Berlin ; New York : Springer-Verlag, c1985.

Nonlinear analysis and mechanics : Heriot-Watt symposium

0
索取号:O1-55/E801
作者:
出版社:London ; San Francisco : Pitman, 1977-1979

Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979

0
索取号:O14-53/E801
作者:Scandinavian Logic Symposium.、Jensen、 Finn V.、Mayoh、 B. H.、MøЛler、 Karen K.、
出版社:Aalborg : Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag, 1979.

The Merging of disciplines : new directions in pure, applied, and computational mathematics : proceedings of a symposium held in honor of Gail S. Young at the University of Wyoming, August 8-10, 1985

0
索取号:O1-53/E904
作者:
出版社:New York : Springer-Verlag, c1986.

Mathematical developments arising from Hilbert problems : [proceedings]

0
索取号:O1-53/E802/1
作者:Symposium in Pure Mathematics、 Northern Illinois University、 1974.、Browder、 Felix E.、American Mathematical Society.、
出版社:Providence : American Mathematical Society, 1976.
最近添加的分类