大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Algorithms for the computation of mathematical functions

0
索取号:O174/E805
作者:Luke、 Yudell L.、
出版社:New York : Academic Press, 1977.

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

0
索取号:O141-53/E903
作者:Logic Colloquium '87 (1987 : Granada、 Spain)、Ebbinghaus、 Heinz-Dieter、 1939-、
出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.

Completeness, compactness, and undecidability : an introduction to mathematical logic

0
索取号:O14/E806
作者:Manaster、 Alfred B.、 1938-、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, [1975]

The mathematical theory of black holes

0
索取号:O1-O/E991
作者:Chandrasekhar、 S. (Subrahmanyan)、 1910-、
出版社:New York : Oxford University Press, 1992.

Random partial differential equations : proceedings of the conference held at the Mathematical Research Institute at Oberwolfach, Black Forest, November 19-25, 1989

0
索取号:O211.63-53/E991
作者:
出版社:Basel : Birkhauser Verlag, 1991.

Mathematical methods in computer graphics and design

0
索取号:O29/E9016
作者:Conference on Mathematical Methods in Computer Graphics and Design (1978 : University of Leicester)、Brodlie、 K. W.、Institute of Mathematics and Its Applications.、
出版社:London ; New York : Academic Press, 1980.

Numerical analysis : proceedings of the biennial conference : held at Dundee, June 28-July 1, 1977

0
索取号:O132-51/E8047
作者:Dundee Biennial Conference on Numerical Analysis (7th : 1977)、Watson、 G. A.、
出版社:Berlin ; New York : Springer-Verlag, 1978.

Mathematical learning models--theory and algorithms : proceedings of a conference

0
索取号:O211.6/E9014
作者:
出版社:New York : Springer Verlag, c1983.

Mathematical control theory : proceedings, Canberra, Australia, August 23-September 2, 1977

0
索取号:O231/E805
作者:Conference on Mathematical Control Theory、 Australian National University、 1977.、Coppel、 W. A.、
出版社:New York : Springer-Verlag, 1978.

An introduction to the mathematical theory of finite elements

0
索取号:O242.21/E801
作者:Oden、 J. Tinsley (John Tinsley)、 1936-、Reddy、 J. N. (Junuthula Narasimha)、 1945- joint author.、
出版社:New York : Wiley, c1976.

Probability in Banach spaces IV : proceedings of the seminar held in Oberwolfach, Germany, July 1982

0
索取号:O177.2/E909
作者:International Conference on Probability in Banach Spaces (4th : 1982 : Oberwolfach、 Germany)、Beck、 Anatole.、Jacobs、 Konrad、 1928-、
出版社:Berlin ; New York : Springer-Verlag, 1983.

Orderings, valuations, and quadratic forms

0
索取号:O153.4/E907
作者:Lam、 T. Y. (Tsit-Yuen)、 1942-、Conference Board of the Mathematical Sciences.、
出版社:Providence, R.I. : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, c1983.

The product of two normally distributed random variables

0
索取号:O211.5/E902
作者:Meeker、 William Q.、Cornwell、 Larry W.、Odeh、 Robert E.、Institute of Mathematical Statistics.、
出版社:Providence, R.I. : American Mathematical Society, c1981.

Harmonic analysis : proceedings of a conference held in Cortona, Italy, July 1-9, 1982

0
索取号:O132-51/E90105
作者:
出版社:Berlin ; New York : Springer-Verlag, 1983.

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

0
索取号:O132-51/E90105
作者:Logic Meeting (1987 : Kyoto、 Japan)、Shinoda、 J. (Juichi)、 1948-、Slaman、 T. A. (Theodore Allen)、 1954-、Tuguâe、 T. (Tosiyuki)、 1926-、
出版社:Berlin ; New York : Springer-Verlag, c1989.

Differential geometrical methods in mathematical physics : proceedings of the conferences held at Aix-en-Provence, September 3-7, 1979 and Salamanca, September 10-14, 1979

0
索取号:O132-51/E90102
作者:
出版社:Berlin ; New York : Springer-Verlag, 1980.
最近添加的分类