大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑)(分类号:O141)(共270本)

分类依据:参见B815,O211.

An introduction to formal languages and automata = 形式语言与自动机导论

0
索取号:O141/E20051.3
作者:Linz、 Peter.、
出版社:北京 : China Machine Press, 2004.

Mathematical models in the social and behavioral sciences

0
索取号:O141.4/E905
作者:Rapoport、 Anatol、 1911-、
出版社:New York : Wiley, c1983.

Computability and logic

0
索取号:O141/E20041.4
作者:Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社:Cambridge : Cambridge University Press, 2002.

Algorithms for worst-case design and applications to risk management

0
索取号:O141/E20031
作者:Rustem、 Berc.、Howe、 Melendres.、
出版社:Princeton, N.J. : Oxford : Princeton University Press, 2002.

Automata theory

0
索取号:O141/E991
作者:Simon、 Matthew.、
出版社:River Edge, N.J. : World Scientific, 1999.

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.

Ensemble modeling : inference from small-scale properties to large-scale systems

0
索取号:O141.4/E903
作者:Gelfand、 Alan E.、 1945-、Walker、 Crayton C.、 1932-、
出版社:New York, N.Y. : M. Dekker, c1984.

Mathematical modeling for water pollution control processes

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

Computational complexity theory

0
索取号:O141.3-53/E901
作者:
出版社:Providence, R.I. : American Mathematical Society, c1989.

Theory of computation

0
索取号:O141.3/E901
作者:Wood、 Derick、 1940-、
出版社:New York : Harper & Row, c1987.

Thinking recursively

0
索取号:O141.3/E905
作者:Roberts、 Eric.、
出版社:New York : J. Wiley, c1986.

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.

Constructibility

0
索取号:O141.3/E907
作者:Devlin、 Keith J.、
出版社:Berlin ; New York : Springer-Verlag, 1984.

Computability, an introduction to recursive function theory

0
索取号:O141.3/E908
作者:Cutland、 Nigel.、
出版社:Cambridge [Eng.] ; New York : Cambridge University Press, 1980.