大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 computability 的图书(共57本)

A programming approach to computability

0
索取号：TP31/E90153
作者：Kfoury、 A. J.、Moll、 Robert N.、Arbib、 Michael A.、
出版社：New York, N.Y. : Springer-Verlag, 1982.

Proceedings

0
索取号：TP301-53/E991/1986
作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、
出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.

Computability, complexity, and languages : fundamentals of theoretical computer science

0
索取号：TP301/E901
作者：Davis、 Martin、 1928-、Weyuker、 Elaine J.、
出版社：New York : Academic Press, 1983.

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

0
索取号：O24-53/E803/13
作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、
出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.

ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August 18-20, 1982, Ottawa, Canada

0
索取号：TP3-53/E9019/1982
作者：ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (1982 : Ottawa、 Ont.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Operating Systems.、Association for Computing Machinery.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : ACM Order Dept. [distributor], 1982.

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983

0
索取号：TP3-53/E9018/2
作者：ACM Symposium on Principles of Distributed Computing (2nd : 1983 : MontŕЕal、 QúЕbec)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Operating Systems.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD. : Copies from ACM Order Dept., 1983.

Computation : computability, similarity, and duality

0
索取号：TP3/E9015
作者：Hong、 Jia-Wei.、
出版社：London : Pitman ; New York : J. Wiley, 1986.

Conference record of ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, October 1-3, 1973

0
索取号：TP312-53/E902/1
作者：ACM Symposium on Principles of Programming Languages (1st : 1973 : Boston、 Mass.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group on Programming Languages.、
出版社：[New York] : The Association, c1973.

Conference record of the Sixth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Antonio, Texas, January 29-31, 1979

0
索取号：TP312-53/E902/6
作者：ACM Symposium on Principles of Programming Languages (6th : 1979 : San Antonio、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、
出版社：New York : ACM, c1979.

Conference record of the Fourth ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Los Angeles, California, January 17-19, 1977

0
索取号：TP312-53/E902/4
作者：ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、
出版社：New York : The Association for Computing Machinery, c1977.

Conference record of the Third ACM Symposium on Principles of Programming Languages. [electronic resource] : papers presented at the symposium, Atlanta, Georgia January 19-21, 1976

0
索取号：TP312-53/E902/3
作者：ACM Symposium on Principles of Programming Languages (3rd : 1976 : Atlanta、 Ga.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group on Programming Languages.、
出版社：New York : ACM, c1976

Conference record of the second ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Palo Alto, California, January 20-22, 1975

0
索取号：TP312-53/E902/2
作者：ACM Symposium on Principles of Programming Languages (2nd : 1975 : Palo Alto、 Calif.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group on Programming Languages.、
出版社：New York : ACM, c1975.

Conference record of Fifth Annual ACM Symposium on Theory of Computing [electronic resource] : papers presented at the Symposium, Austin, Texas, April 30-May 2, 1973

0
索取号：O24-53/E803/5
作者：ACM Symposium on Theory of Computing (5th : 1973 : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、
出版社：New York : Association for Computing Machinery, 1973.

Conference record of Third Annual ACM Symposium on Theory of Computing [electronic resource] : papers presented at the Symposium, Shaker Heights, Ohio, May 3,4,5, 1971

0
索取号：O24-53/E803/3
作者：ACM Symposium on Theory of Computing (3rd : 1971 : Shaker Heights、 Ohio)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、
出版社：New York : ACM, Special Interest Group for Automata and Computability Theory, 1971.

Conference record of ACM Symposium on Theory of Computing : papers presented at the Symposium Marina del Rey, California, May 5, 6, 7, 1969

0
索取号：O24-53/E803/1969
作者：ACM Symposium on Theory of Computing (1969 : Marina del Rey、 Calif.)、Association for Computing Machinery. Special Interest Committee for Automata and Computability.、
出版社：New York, Available from ACM Order Dept. [1969].

Computability and logic

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