搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书 - 暨南大学图书馆

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

	Introduction to mathematical logic : set theory, computable functions, model theory 0 索取号：O141/E804 作者：Malitz、 Jerome.、出版社：New York : Springer-Verlag, c1979.		Economic evolution and structural adjustment : proceedings of invited sessions on economic evolution and structural change held at the 5th International Conference on Mathematical Modelling at the University of California, Berkeley, California, USA, July 29-31, 1985 0 索取号：F224-55/E903 作者：International Conference on Mathematical Modelling (5th : 1985 : University of California、 Berkeley)、Batten、 David F.、Johansson、 B. (Börje)、Casti、 J. L.、出版社：Berlin ; New York : Springer-Verlag, c1987.
	Proceedings of the Workshop on Numerical Hydrodynamics, held at the National Academy of Sciences, May 20-21, 1974 0 索取号：O351.2-53/E802/1974 作者：Workshop on Numerical Hydrodynamics、 Washington、 D.C.、 1974.、National Research Council (U.S.). Committee on Undersea Warfare.、United States. Office of Naval Research. Fluid Dynamics Branch.、出版社：Washington : National A. The Academy, 1975.		Current problems in elementary particle and mathematical physics : proceedings of the XV. Internationale UniversiẗАtswochen f̈Уr Kernphysik 1976 der Karl-Franzens-UniversiẗАt Graz at Schladming (Steiermark, Austria), 16th February-27th February 1976 0 索取号：O572.3/E801 作者：Internationale UniversiẗАtswochen f̈Уr Kernphysik der Karl-Franzens-UniversiẗАt Graz (15th : 1976 : Schladming、 Austria)、Urban、 Paul Oskar、 1905-、Austria. Bundesministerium f̈Уr Wissenschaft und Forschung.、出版社：Wien ; New York : Springer-Verlag, 1976.
	A mathematical introduction to logic 0 索取号：O141/E808 作者：Enderton、 Herbert B.、出版社：New York : Academic Press, [1972].		Elements of logic and foundations of mathematics in problems 0 索取号：O14-44/E901 作者：Marek、 Wiktor.、Onyszkiewicz、 Janusz.、出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Warszawa : PWN-Polish Scientific Publishers ; Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982.
	A mathematical introduction to fluid mechanics 0 索取号：O351/E991.2 作者：Chorin、 Alexandre Joel.、Marsden、 Jerrold E.、出版社：New York : Springer-Verlag, 1990.		Transonic, shock, and multidimensional flows : advances in scientific computing : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, May 13-15, 1981 0 索取号：O35-53/E902 作者：出版社：New York : Academic Press, 1982.
	Numerical/laboratory computer methods in fluid mechanics : [papers] presented at the winter annual meeting of the American Society of Mechanical Engineers, New York City, New York, December 5-10, 1976 0 索取号：O35-53/E802 作者：出版社：New York : American Society of Mechanical Engineers, c1976.		Computing in high energy physics : proceedings of the International Conference on Computing in High Energy Physics, Asilomar, 2-6 February 1987 0 索取号：O572-53/E901 作者：International Conference on Computing in High Energy Physics (1987 : Asilomar、 Calif.)、Ash、 W. (William)、出版社：Amsterdam : North-Holland ; New York : Sole distributors for USA and Canada, Elsevier Science Pub. Co., c1987.
	Renormalization theory : proceedings of the NATO Advanced Study Institute held at the International School of Mathematical Physics at the "Ettore Majorana" Centre for Scientific Culture in Erice (Sicily) Italy, 17-31 August 1975 0 索取号：O413.3-53/E802 作者：NATO Advanced Study Institute (1975 : Erice、 Italy)、Velo、 G.、Wightman、 A. S.、出版社：Dordrecht ; Boston : D. Reidel Pub. Co., c1976.		Philosophical foundations of quantum field theory 0 索取号：O413.3-02/E901 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1988.
	Mathematics : concrete behavioral foundations 0 索取号：O144-43/E801 作者：Scandura、 Joseph M.、出版社：New York : Harper & Row, [1971].		Foundations of radiation theory and quantum electrodynamics 0 索取号：O413.2/E902 作者：出版社：New York : Plenum Press, c1980.
	Studies in the foundations of quantum mechanics 0 索取号：O413.1/E909 作者：出版社：East Lansing, Mich. : Philosophy of Science Association, 1980.		Propagation of shock waves in solids : presented at the Applied Mechanics Conference, Salt Lake City, Utah, June 14-17, 1976 0 索取号：O347.4-53/E801 作者：Applied Mechanics Conference、 Salt Lake City、 1976.、Varley、 Eric.、American Society of Mechanical Engineers. Applied Mechanics Division.、出版社：New York : American Society of Mechanical Engineers, c1976.

	Introduction to mathematical logic : set theory, computable functions, model theory 0 索取号：O141/E804 作者：Malitz、 Jerome.、出版社：New York : Springer-Verlag, c1979.		Economic evolution and structural adjustment : proceedings of invited sessions on economic evolution and structural change held at the 5th International Conference on Mathematical Modelling at the University of California, Berkeley, California, USA, July 29-31, 1985 0 索取号：F224-55/E903 作者：International Conference on Mathematical Modelling (5th : 1985 : University of California、 Berkeley)、Batten、 David F.、Johansson、 B. (Börje)、Casti、 J. L.、出版社：Berlin ; New York : Springer-Verlag, c1987.
	Proceedings of the Workshop on Numerical Hydrodynamics, held at the National Academy of Sciences, May 20-21, 1974 0 索取号：O351.2-53/E802/1974 作者：Workshop on Numerical Hydrodynamics、 Washington、 D.C.、 1974.、National Research Council (U.S.). Committee on Undersea Warfare.、United States. Office of Naval Research. Fluid Dynamics Branch.、出版社：Washington : National A. The Academy, 1975.		Current problems in elementary particle and mathematical physics : proceedings of the XV. Internationale UniversiẗАtswochen f̈Уr Kernphysik 1976 der Karl-Franzens-UniversiẗАt Graz at Schladming (Steiermark, Austria), 16th February-27th February 1976 0 索取号：O572.3/E801 作者：Internationale UniversiẗАtswochen f̈Уr Kernphysik der Karl-Franzens-UniversiẗАt Graz (15th : 1976 : Schladming、 Austria)、Urban、 Paul Oskar、 1905-、Austria. Bundesministerium f̈Уr Wissenschaft und Forschung.、出版社：Wien ; New York : Springer-Verlag, 1976.
	A mathematical introduction to logic 0 索取号：O141/E808 作者：Enderton、 Herbert B.、出版社：New York : Academic Press, [1972].		Elements of logic and foundations of mathematics in problems 0 索取号：O14-44/E901 作者：Marek、 Wiktor.、Onyszkiewicz、 Janusz.、出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Warszawa : PWN-Polish Scientific Publishers ; Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982.
	A mathematical introduction to fluid mechanics 0 索取号：O351/E991.2 作者：Chorin、 Alexandre Joel.、Marsden、 Jerrold E.、出版社：New York : Springer-Verlag, 1990.		Transonic, shock, and multidimensional flows : advances in scientific computing : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, May 13-15, 1981 0 索取号：O35-53/E902 作者：出版社：New York : Academic Press, 1982.
	Numerical/laboratory computer methods in fluid mechanics : [papers] presented at the winter annual meeting of the American Society of Mechanical Engineers, New York City, New York, December 5-10, 1976 0 索取号：O35-53/E802 作者：出版社：New York : American Society of Mechanical Engineers, c1976.		Computing in high energy physics : proceedings of the International Conference on Computing in High Energy Physics, Asilomar, 2-6 February 1987 0 索取号：O572-53/E901 作者：International Conference on Computing in High Energy Physics (1987 : Asilomar、 Calif.)、Ash、 W. (William)、出版社：Amsterdam : North-Holland ; New York : Sole distributors for USA and Canada, Elsevier Science Pub. Co., c1987.
	Renormalization theory : proceedings of the NATO Advanced Study Institute held at the International School of Mathematical Physics at the "Ettore Majorana" Centre for Scientific Culture in Erice (Sicily) Italy, 17-31 August 1975 0 索取号：O413.3-53/E802 作者：NATO Advanced Study Institute (1975 : Erice、 Italy)、Velo、 G.、Wightman、 A. S.、出版社：Dordrecht ; Boston : D. Reidel Pub. Co., c1976.		Philosophical foundations of quantum field theory 0 索取号：O413.3-02/E901 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1988.
	Mathematics : concrete behavioral foundations 0 索取号：O144-43/E801 作者：Scandura、 Joseph M.、出版社：New York : Harper & Row, [1971].		Foundations of radiation theory and quantum electrodynamics 0 索取号：O413.2/E902 作者：出版社：New York : Plenum Press, c1980.
	Studies in the foundations of quantum mechanics 0 索取号：O413.1/E909 作者：出版社：East Lansing, Mich. : Philosophy of Science Association, 1980.		Propagation of shock waves in solids : presented at the Applied Mechanics Conference, Salt Lake City, Utah, June 14-17, 1976 0 索取号：O347.4-53/E801 作者：Applied Mechanics Conference、 Salt Lake City、 1976.、Varley、 Eric.、American Society of Mechanical Engineers. Applied Mechanics Division.、出版社：New York : American Society of Mechanical Engineers, c1976.