搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书 - 暨南大学图书馆

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

	Structure and mechanisms of turbulence : proceedings of the Symposium on Turbulence held at the Technische universiẗАt Berlin, August 1-5, 1977 0 索取号：O357.5-53/E802 作者：Symposium on Turbulence、 Berlin、 Germany、 1977.、Fiedler、 H. E. (Heinrich E.)、 1933-、出版社：Berlin ; New York : Springer-Verlag, 1978.		Nonlinear dynamics of structures : International Symposium on Generation of Large-Scale Structures in Continuous Media, Perm-Moscow, USSR, 11-20 June, 1990 0 索取号：O357.5-53/E991/1990 作者：International Symposium on Generation of Large-Scale Structures in Continuous Media (1990 : Perm、 R.S.F.S.R.、 Moscow、 R.S.F.S.R.)、Sagdeev、 R. Z.、出版社：Singapore ; Teaneck, N.J. : World Scientific, c1991.
	Computer methods in fluids 0 索取号：O357.5-53/E901 作者：出版社：London : Pentech Press, 1980.		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.
	Generalized recursion theory II : proceedings of the 1977 Oslo symposium 0 索取号：O141-55/E803/2 作者：Symposium on Generalized Recursion Theory、 2d、 University of Oslo、 1977.、Fenstad、 Jens Erik.、Gandy、 R. O.、Sacks、 Gerald E.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.		Panel methods in fluid mechanics with emphasis on aerodynamics : proceedings of the Third GAMM-Seminar, Kiel, January 16 to 18, 1987 0 索取号：O354-53/E901 作者：GAMM-Seminar (3rd : 1987 : Kiel、 Germany)、Ballmann、 Josef.、Eppler、 Richard.、Hackbusch、 W.、 1948-、出版社：Braunschweig : Vieweg, c1988.
	Nonequilibrium thermodynamics and its statistical foundations 0 索取号：O414.14/E901 作者：Kreuzer、 H. J. (Hans J.)、出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1981.		Modern optical methods in gas dynamic research : proceedings of an international symposium held at Syracuse University, Syracuse, New York, May 25-26, 1970, supported by the New York State Science and Technology Foundation 0 索取号：O354/E802 作者：出版社：New York, Plenum Press, 1971.
	Phenomenology and applications of high temperature superconductors : the Los Alamos symposium, 1991 : proceedings 0 索取号：O511/E995 作者：出版社：N.Y.: Reading, Mass. : Addison-Wesley, c1992.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	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.		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.
	Antinucleon-nucleon interactions : proceedings of the third European Symposium held at the Wenner-Gren Center, Stockholm, 9-13 July 1976 0 索取号：O572-53/E804 作者：European Symposium on Antinucleon-Nucleon Interactions、 3d、 Stockholm、 1976.、Ekspong、 G̈Оsta.、Nilsson、 Sigward.、Kungl. Svenska vetenskapsakademien.、出版社：New York : Pergamon Press, 1977.		Philosophical foundations of quantum field theory 0 索取号：O413.3-02/E901 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1988.

	Structure and mechanisms of turbulence : proceedings of the Symposium on Turbulence held at the Technische universiẗАt Berlin, August 1-5, 1977 0 索取号：O357.5-53/E802 作者：Symposium on Turbulence、 Berlin、 Germany、 1977.、Fiedler、 H. E. (Heinrich E.)、 1933-、出版社：Berlin ; New York : Springer-Verlag, 1978.		Nonlinear dynamics of structures : International Symposium on Generation of Large-Scale Structures in Continuous Media, Perm-Moscow, USSR, 11-20 June, 1990 0 索取号：O357.5-53/E991/1990 作者：International Symposium on Generation of Large-Scale Structures in Continuous Media (1990 : Perm、 R.S.F.S.R.、 Moscow、 R.S.F.S.R.)、Sagdeev、 R. Z.、出版社：Singapore ; Teaneck, N.J. : World Scientific, c1991.
	Computer methods in fluids 0 索取号：O357.5-53/E901 作者：出版社：London : Pentech Press, 1980.		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.
	Generalized recursion theory II : proceedings of the 1977 Oslo symposium 0 索取号：O141-55/E803/2 作者：Symposium on Generalized Recursion Theory、 2d、 University of Oslo、 1977.、Fenstad、 Jens Erik.、Gandy、 R. O.、Sacks、 Gerald E.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.		Panel methods in fluid mechanics with emphasis on aerodynamics : proceedings of the Third GAMM-Seminar, Kiel, January 16 to 18, 1987 0 索取号：O354-53/E901 作者：GAMM-Seminar (3rd : 1987 : Kiel、 Germany)、Ballmann、 Josef.、Eppler、 Richard.、Hackbusch、 W.、 1948-、出版社：Braunschweig : Vieweg, c1988.
	Nonequilibrium thermodynamics and its statistical foundations 0 索取号：O414.14/E901 作者：Kreuzer、 H. J. (Hans J.)、出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1981.		Modern optical methods in gas dynamic research : proceedings of an international symposium held at Syracuse University, Syracuse, New York, May 25-26, 1970, supported by the New York State Science and Technology Foundation 0 索取号：O354/E802 作者：出版社：New York, Plenum Press, 1971.
	Phenomenology and applications of high temperature superconductors : the Los Alamos symposium, 1991 : proceedings 0 索取号：O511/E995 作者：出版社：N.Y.: Reading, Mass. : Addison-Wesley, c1992.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	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.		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.
	Antinucleon-nucleon interactions : proceedings of the third European Symposium held at the Wenner-Gren Center, Stockholm, 9-13 July 1976 0 索取号：O572-53/E804 作者：European Symposium on Antinucleon-Nucleon Interactions、 3d、 Stockholm、 1976.、Ekspong、 G̈Оsta.、Nilsson、 Sigward.、Kungl. Svenska vetenskapsakademien.、出版社：New York : Pergamon Press, 1977.		Philosophical foundations of quantum field theory 0 索取号：O413.3-02/E901 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1988.