大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Mathematical problems of statistical mechanics and dynamics : a collection of surveys

0
索取号:O414.2/E9016
作者:
出版社:Dordrecht ; Boston : D. Reidel Pub. Co. ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986.

Works on the foundations of statistical physics

0
索取号:O414.2/E804
作者:Krylov、 NikolăИ Sergeevich、 1917-1947.、
出版社:Princeton, N.J. : Princeton University Press, 1979.

Foundations of statistical mechanics

0
索取号:O414.2/E9024
作者:Grandy、 Walter T.、 1933-、
出版社:Dordrecht ; Boston : D. Reidel ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1987-<c1988 >

The mathematical heritage of Hermann Weyl

0
索取号:O143/E901
作者:Symposium on the Mathematical Heritage of Hermann Weyl (1987 : Duke University)、Wells、 R. O. (Raymond O'Neil)、 1940-、
出版社:Providence, R.I. : American Mathematical Society, c1988.

The logical foundations of mathematics

0
索取号:O143/E902
作者:Hatcher、 William S.、
出版社:Oxford ; New York : Pergamon Press, 1982.

Mathematical modelling and applied mathematics : proceedings of the IMACS International Conference on Mathematical Modelling and Applied Mathematics, Moscow, USSR, 18-23 June 1990

0
索取号:O141.4-532/E992
作者:IMACS International Conference on Mathematical Modelling and Applied Mathematics (1990 : Moscow、 R.S.F.S.R.)、SamarskĭИ、 A. A. (Aleksandr Andreevich)、Sapagovas、 M.、International Association for Mathematics and Computers in Simulation.、
出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992.

Concepts of mathematical modeling

0
索取号:O141.4/MWJ
作者:Meyer、 Walter J. (Walter Joseph)、 1943-、
出版社:New York : McGraw-Hill, c1984.

A concrete approach to mathematical modelling

0
索取号:O141.4/E901
作者:Mesterton-Gibbons、 Michael.、
出版社:Redwood City, Calif. : Addison-Wesley, c1989.

Computer methods in fluids

0
索取号:O357.5-53/E901
作者:
出版社:London : Pentech Press, 1980.

Mathematical modeling for water pollution control processes

0
索取号:O141.4/E801
作者:
出版社:Ann Arbor, Mich. : Ann Arbor Science Publishers, c1975.

Lectures on constructive mathematical analysis

0
索取号:O141.3/E906
作者:Kushner、 B. A. (Boris Abramovich)、LĕИfman、 L. ︠и︡а. (Lev ︠и︡аkovlevich).、
出版社:Providence, R.I : American Mathematical Society, c1984.

Constructive analysis

0
索取号:O141.3/E902
作者:Bishop、 Errett、 1928-1983.、Bridges、 D. S. (Douglas S.)、 1945-、Bishop、 Errett、 1928-1983. Foundations of constructive analysis.、
出版社:Berlin ; New York : Springer-Verlag, c1985.

Handbook of mathematical logic

0
索取号:O141-55/E801
作者:
出版社:Amsterdam ; New York : North-Holland Pub. Co., 1977.

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

0
索取号:O141/E803
作者:
出版社:New York : M. Dekker, c1985.

The mathematical theory of turbulence

0
索取号:O357.3/E901
作者:Stanisic、 M. M.、
出版社:New York : Springer-Verlag, c1985.

Nonequilibrium thermodynamics and its statistical foundations

0
索取号:O414.14/E901
作者:Kreuzer、 H. J. (Hans J.)、
出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 1981.
最近添加的分类