搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Anarchy, state, and utopia / Robert Nozick. After Virture : a study in moral theory 0 索取号：B82-06/E991 作者：出版社：Beijing : China Social Sciences Publishing House, 1999.		A sociological theory of law 0 索取号：D90/E995 作者：Luhmann、 Niklas.、King、 Elizabeth.、Albrow、 Martin.、出版社：Beijing : China Social Sciences Publishing House, 1999.
	Proceedings 0 索取号：R319-53/E901 作者：Symposium on Computer Applications in Medical Care.、O'Neill、Joseph T.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、American Medical Informatics Association.、出版社：Washington New York, N.Y. : Institute of Electrical and Electronics Engineers, 1985		Pure theory of law / Hans Kelsen ; translated by Max Knight. The concept of law 0 索取号：D90/E994 作者：出版社：Beijing : China Social Sciences Publishing House, 1999.
	The general theory of employment, interest, and money / by John Maynard Keynes. The theory of economic development : an inquiry into profits, capital, credit, interest, and the business cycle 0 索取号：F091.348/E602-2 作者：Keynes、 John Maynard、 1883-1946.、Keynes、 John Maynard、 1883-1946.、Schumpeter、 Joseph Alois、 1883-1950.、Opie、 Redvers.、出版社：Beijing : China Social Sciences Publishing House, 1999.		Coding, communications, and broadcasting : fourth volume on communication theory and applications 0 索取号：TN911.21/E20011 作者：出版社：Baldock, Hertfordshire, England ; Philadelphia : Research Studies Press ; Levittown, PA : Taylor & Francis [distributor], c2000.
	Interfaces with the process control computer : the operator, engineer, and management; proceedings of the symposium held August 3-6, 1971, Lafayette, Indiana 0 索取号：TP316-53/E802 作者：出版社：American IFAC Pittsburgh, Distributed by Instrument Society of America [c1971]		Compiler design theory 0 索取号：TP314/E804 作者：Lewis、 Philip M.、 1931-、Rosenkrantz、 Daniel J.、 joint author.、Stearns、 Richard E.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1976.
	Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages 0 索取号：TP312-53/E907/1981 作者：International Symposium on Algorithmic Languages (1981 : Amsterdam、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Vliet、 J. C. van.、Mathematisch Centrum (Amsterdam、 Netherlands)、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam ; New York : North-Holland Pub. Co., 1981.		International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, LìЕge, Belgium, 4-7 April 1977 0 索取号：TP3-53/E9041/5 作者：International Computing Symposium、 5th、 LìЕge、 Belgium、 1977.、Morlet、 E.、Ribbens、 D. (Daniel)、Association for Computing Machinery.、European Cooperation in Informatics (Organization).、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977.
	Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 0 索取号：TP312-53/E902/7 作者：ACM Symposium on Principles of Programming Languages (7th : 1980 : Las Vegas、 Nev.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、出版社：New York, N.Y. : ACM ; Baltimore, MD : May be ordered from ACM Order Dept., 1980.		Jewels of formal language theory 0 索取号：TP312/E9038 作者：Salomaa、 Arto.、出版社：Rockville, Md. : Computer Science Press, 1981.
	Computer arithmetic in theory and practice 0 索取号：TP312/E90123 作者：Kulisch、 Ulrich W.、Miranker、 Willard L.、 joint author.、出版社：New York, NY : Academic Press, 1981.		Introduction to automata theory, languages, and computation 0 索取号：TP301.1/E801 作者：Hopcroft、 John E.、 1939-、Ullman、 Jeffrey D.、 1942- joint author.、出版社：Reading, Mass. : Addison-Wesley, 1979.
	Syntax of programming languages : theory and practice 0 索取号：TP312/E801 作者：Backhouse、 Roland C.、 1948-、出版社：Englewood Cliffs, N.J. : Prentice-Hall International, 1979.		Categories, types, and structures : an introduction to category theory for the working computer scientist 0 索取号：TP312/E9979 作者：Asperti、 Andrea.、Longo、 G. (Giuseppe)、出版社：London Cambridge, Mass. : MIT Press, 1991.

	Anarchy, state, and utopia / Robert Nozick. After Virture : a study in moral theory 0 索取号：B82-06/E991 作者：出版社：Beijing : China Social Sciences Publishing House, 1999.		A sociological theory of law 0 索取号：D90/E995 作者：Luhmann、 Niklas.、King、 Elizabeth.、Albrow、 Martin.、出版社：Beijing : China Social Sciences Publishing House, 1999.
	Proceedings 0 索取号：R319-53/E901 作者：Symposium on Computer Applications in Medical Care.、O'Neill、Joseph T.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、American Medical Informatics Association.、出版社：Washington New York, N.Y. : Institute of Electrical and Electronics Engineers, 1985		Pure theory of law / Hans Kelsen ; translated by Max Knight. The concept of law 0 索取号：D90/E994 作者：出版社：Beijing : China Social Sciences Publishing House, 1999.
	The general theory of employment, interest, and money / by John Maynard Keynes. The theory of economic development : an inquiry into profits, capital, credit, interest, and the business cycle 0 索取号：F091.348/E602-2 作者：Keynes、 John Maynard、 1883-1946.、Keynes、 John Maynard、 1883-1946.、Schumpeter、 Joseph Alois、 1883-1950.、Opie、 Redvers.、出版社：Beijing : China Social Sciences Publishing House, 1999.		Coding, communications, and broadcasting : fourth volume on communication theory and applications 0 索取号：TN911.21/E20011 作者：出版社：Baldock, Hertfordshire, England ; Philadelphia : Research Studies Press ; Levittown, PA : Taylor & Francis [distributor], c2000.
	Interfaces with the process control computer : the operator, engineer, and management; proceedings of the symposium held August 3-6, 1971, Lafayette, Indiana 0 索取号：TP316-53/E802 作者：出版社：American IFAC Pittsburgh, Distributed by Instrument Society of America [c1971]		Compiler design theory 0 索取号：TP314/E804 作者：Lewis、 Philip M.、 1931-、Rosenkrantz、 Daniel J.、 joint author.、Stearns、 Richard E.、 joint author.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1976.
	Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages 0 索取号：TP312-53/E907/1981 作者：International Symposium on Algorithmic Languages (1981 : Amsterdam、 Netherlands)、Bakker、 J. W. de (Jacobus Willem)、 1939-、Vliet、 J. C. van.、Mathematisch Centrum (Amsterdam、 Netherlands)、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam ; New York : North-Holland Pub. Co., 1981.		International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, LìЕge, Belgium, 4-7 April 1977 0 索取号：TP3-53/E9041/5 作者：International Computing Symposium、 5th、 LìЕge、 Belgium、 1977.、Morlet、 E.、Ribbens、 D. (Daniel)、Association for Computing Machinery.、European Cooperation in Informatics (Organization).、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, American Elsevier Pub. Co., 1977.
	Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 0 索取号：TP312-53/E902/7 作者：ACM Symposium on Principles of Programming Languages (7th : 1980 : Las Vegas、 Nev.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、出版社：New York, N.Y. : ACM ; Baltimore, MD : May be ordered from ACM Order Dept., 1980.		Jewels of formal language theory 0 索取号：TP312/E9038 作者：Salomaa、 Arto.、出版社：Rockville, Md. : Computer Science Press, 1981.
	Computer arithmetic in theory and practice 0 索取号：TP312/E90123 作者：Kulisch、 Ulrich W.、Miranker、 Willard L.、 joint author.、出版社：New York, NY : Academic Press, 1981.		Introduction to automata theory, languages, and computation 0 索取号：TP301.1/E801 作者：Hopcroft、 John E.、 1939-、Ullman、 Jeffrey D.、 1942- joint author.、出版社：Reading, Mass. : Addison-Wesley, 1979.
	Syntax of programming languages : theory and practice 0 索取号：TP312/E801 作者：Backhouse、 Roland C.、 1948-、出版社：Englewood Cliffs, N.J. : Prentice-Hall International, 1979.		Categories, types, and structures : an introduction to category theory for the working computer scientist 0 索取号：TP312/E9979 作者：Asperti、 Andrea.、Longo、 G. (Giuseppe)、出版社：London Cambridge, Mass. : MIT Press, 1991.