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

Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January, 24-26, 1983

0
索取号：TP312-53/E902/10
作者：ACM Symposium on Principles of Programming Languages (10th : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Special Interest Group in Programming Languages.、
出版社：New York, N.Y. : Association for Computing Machinery, c1983.

Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing, Baltimore, Maryland, May 14-16, 1990 [electronic resource]

0
索取号：O24-53/E803/22
作者：ACM Symposium on Theory of Computing (22nd : 1990 : Baltimore、 Md.)、ACM Digital Library.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York : Association for Computing Machinery, c1990.

Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, Chicago, Illinois, May 2-4, 1988 [electronic resource]

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

Conference record of the Tenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, San Diego, California, May 1-3, 1978

0
索取号：O24-53/E803/10
作者：ACM Symposium on Theory of Computing (10th : 1978 : San Diego、 Calif.)、ACM Special Interest Group for Automata and Computability Theory、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing、University of California、 San Diego、
出版社：New York : ACM, c1978

Conference record of the ninth annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Boulder, Colorado, May 2-4, 1977

0
索取号：O24-53/E803/9
作者：ACM Symposium on Theory of Computing (9th : 1977 : Boulder、 Colo.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Colorado.、
出版社：New York : ACM, c1977.

Conference record of the Eighth Annual ACM Symposium on Theory of Computing [electronic resource] : [electronic resource] papers presented at the Symposium, Hershey, Pennsylvania, May 3-5, 1976

0
索取号：O24-53/E803/8
作者：ACM Symposium on Theory of Computing (8th : 1976 : Hershey、 Pa.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Pennsylvania State University.、
出版社：New York : ACM, c1976

Conference record of second annual ACM Symposium on Theory of Computing : papers presented at the symposium, Northampton, Massachusetts, May 4, 5, 6, 1970

0
索取号：O24-53/E803/2
作者：ACM Symposium on Theory of Computing (2nd : 1970 : Northampton、 Mass.)、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York : ACM, [1970?].

Conference record of the Eleventh Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Atlanta, Georgia, April 30-May 2, 1979

0
索取号：O24-53/E803/11
作者：ACM Symposium on Theory of Computing (11th : 1979 : Atlanta、 Ga.)、ACM Special Interest Group for Automata and Computability Theory、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing、
出版社：New York : ACM, c1979

Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, San Francisco, California, May 5-7, 1982

0
索取号：O24-53/E803/14
作者：ACM Symposium on Theory of Computing (14th : 1982 : San Francisco、 Calif.)、ACM Digital Library.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York, N.Y. : ACM, c1982

Proceedings of the sixth annual Symposium on Computational Geometry : Berkeley, California, June 6-8, 1990

0
索取号：O141.3-53/E991
作者：Symposium on Computational Geometry (6th : 1990 : Berkeley、 Calif.)、SIGGRAPH.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York, N.Y. : ACM Press, c1990.

Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder

0
索取号：O141.3-532/E20011
作者：
出版社：Providence, R.I. : American Mathematical Society, c2000.

Proceedings of the ACM Symposium on Principles of Database Systems : 29-31 March 1982, Marina del Ray Hotel, Los Angeles, California

0
索取号：TP392-53/E906/1982
作者：ACM Symposium on Principles of Database Systems (1982 : Los Angeles、 Calif.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、
出版社：New York, N.Y. : Association for Computing Machinery, 1982.

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon

0
索取号：TP392-53/E907/4
作者：ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (4th : 1985 : Portland、 Or.)、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD. : Copies from ACM Order Dept., 1985.

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada

0
索取号：TP392-53/E907/3
作者：ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (3rd : 1984 : Waterloo、 Ont.)、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., 1984.

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems : 21-23 March 1983, Colony Square Hotel, Atlanta, Georgia

0
索取号：TP392-53/E907/2
作者：ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (2nd : 1983 : Atlanta、 Ga.)、Association for Computing Machinery.、ACM Special Interest Group for Automata and Computability Theory.、Association for Computing Machinery. Special Interest Group on Management of Data.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., 1983.

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.