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

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

	Towards structured specifying : theory, practice, applications 0 索取号：TP311.5/E903 作者：Mili、 Ali.、Boudriga、 Noureddine.、Mili、 Fatma.、出版社：Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1989.		Database design theory 0 索取号：TP311.13/E9914 作者：Leonard、 M. (Michel)、出版社：Houndmills, Basingstoke, Hampshire : Macmillan, 1992.
	Survey of mathematical programming : proceedings of the 9th International Mathematical Programming Symposium, Budapest, August 23-27, 1976 0 索取号：TP311-53/E802 作者：International Mathematical Programming Symposium (9th : 1976 : Budapest)、Prekopa、 A. (Andras)、 1929-、出版社：Budapest : Akademiai Kiado ; New York : North-Holland Pub. Co., 1979.		Parsing theory 0 索取号：TP311/E9958 作者：Sippu、 Seppo、 1950-、Soisalon-Soininen、 Eljas、 1949-、出版社：Berlin ; New York : Springer-Verlag, c1988-c1990.
	Dynamic data structures : theory and application 0 索取号：TP311/E9943 作者：King、 Todd.、出版社：San Diego : Academic Press, 1992.		Parallel processor systems, technologies, and applications : [papers] 0 索取号：TP311/E809 作者：Symposium on Parallel Processor Systems、 Technologies、 and Applications、 Monterey、 Calif.、 1969.、Hobbs、 L. C.、 ed.、出版社：New York, Spartan Books [1970]
	Phase-locked loops : theory, design, and applications 0 索取号：TP311/E992.2 作者：Best、 Roland E.、出版社：New York : McGraw-Hill, 1993.		Unification of finite element software systems : proceedings of the 8th UFEM symposium 0 索取号：TP31-53/E9013/8 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distribution for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 0 索取号：TP31-53/E904/1980 作者：Symposium on Software Engineering Environments (1980 : Lahnstein、 Germany)、ḦУnke、 Horst.、Gesellschaft f̈Уr Mathematik und Datenverarbeitung.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.		Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 0 索取号：TP31-53/E9019 作者：International Seminar on Software Engineering (1st : 1980 : Capri、 Italy)、Ferrari、 Domenico、 1940-、Bolognani、 Mario.、Goguen、 Joseph.、International Seminar on Software Engineering (2nd : 1982 : Capri、 Italy)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	Software for computer control 1986 : selected papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986 0 索取号：TP31-53/E9021/4 作者：IFAC/IFIP Symposium on Software for Computer Control (4th : 1986 : Graz、 Austria)、Florian、 D. (Doris)、Haase、 Volkmar、 1940-、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1987.		Real-Time Systems Symposium, December 1-3, 1987, Fairmont Hotel, San Jose, California : proceedings 0 索取号：TP31-53/E9015/1987 作者：Real-Time Systems Symposium (1987 : San Jose、 Calif.)、IEEE Computer Society.、出版社：Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1987.
	Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers 0 索取号：TP31-53/E9014/3 作者：Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、出版社：Berlin ; New York : Springer-Verlag, 1985.		Proceedings 0 索取号：TP302-53/E902/6 作者：Symposium on Reliability in Distributed Software and Database Systems (6th : 1987 : Williamsburg、 Va.)、IEEE Computer Society. TC on Distributed Processing.、出版社：Washington, D.C. : IEEE Computer Society Press, 1987.
	Symposium on Reliability in Distributed Software and Database Systems : proceedings, July 21-22, 1981, Holiday Inn Central (Greentree), Pittsburgh, PA 0 索取号：TP302-53/E902/1 作者：Symposium on Reliability in Distributed Software and Database Systems (1st : 1981 : Pittsburgh、 Pa.)、IEEE Computer Society.、Association for Computing Machinery.、出版社：N.Y. Los Angeles, CA (P.O. Box 80452, Los Angeles 90080) : IEEE Computer Society Press, 1981.		International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982 : proceedings 0 索取号：TP31-53/E9018/5 作者：International Symposium on Programming (5th : 1982 : Turin、 Italy)、Dezani-Ciancaglini、 M. (Mariangiola)、Montanari、 U. (Ugo)、出版社：Berlin ; New York : Springer-Verlag, 1982.

	Towards structured specifying : theory, practice, applications 0 索取号：TP311.5/E903 作者：Mili、 Ali.、Boudriga、 Noureddine.、Mili、 Fatma.、出版社：Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1989.		Database design theory 0 索取号：TP311.13/E9914 作者：Leonard、 M. (Michel)、出版社：Houndmills, Basingstoke, Hampshire : Macmillan, 1992.
	Survey of mathematical programming : proceedings of the 9th International Mathematical Programming Symposium, Budapest, August 23-27, 1976 0 索取号：TP311-53/E802 作者：International Mathematical Programming Symposium (9th : 1976 : Budapest)、Prekopa、 A. (Andras)、 1929-、出版社：Budapest : Akademiai Kiado ; New York : North-Holland Pub. Co., 1979.		Parsing theory 0 索取号：TP311/E9958 作者：Sippu、 Seppo、 1950-、Soisalon-Soininen、 Eljas、 1949-、出版社：Berlin ; New York : Springer-Verlag, c1988-c1990.
	Dynamic data structures : theory and application 0 索取号：TP311/E9943 作者：King、 Todd.、出版社：San Diego : Academic Press, 1992.		Parallel processor systems, technologies, and applications : [papers] 0 索取号：TP311/E809 作者：Symposium on Parallel Processor Systems、 Technologies、 and Applications、 Monterey、 Calif.、 1969.、Hobbs、 L. C.、 ed.、出版社：New York, Spartan Books [1970]
	Phase-locked loops : theory, design, and applications 0 索取号：TP311/E992.2 作者：Best、 Roland E.、出版社：New York : McGraw-Hill, 1993.		Unification of finite element software systems : proceedings of the 8th UFEM symposium 0 索取号：TP31-53/E9013/8 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distribution for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 0 索取号：TP31-53/E904/1980 作者：Symposium on Software Engineering Environments (1980 : Lahnstein、 Germany)、ḦУnke、 Horst.、Gesellschaft f̈Уr Mathematik und Datenverarbeitung.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.		Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 0 索取号：TP31-53/E9019 作者：International Seminar on Software Engineering (1st : 1980 : Capri、 Italy)、Ferrari、 Domenico、 1940-、Bolognani、 Mario.、Goguen、 Joseph.、International Seminar on Software Engineering (2nd : 1982 : Capri、 Italy)、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	Software for computer control 1986 : selected papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986 0 索取号：TP31-53/E9021/4 作者：IFAC/IFIP Symposium on Software for Computer Control (4th : 1986 : Graz、 Austria)、Florian、 D. (Doris)、Haase、 Volkmar、 1940-、International Federation of Automatic Control.、出版社：Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1987.		Real-Time Systems Symposium, December 1-3, 1987, Fairmont Hotel, San Jose, California : proceedings 0 索取号：TP31-53/E9015/1987 作者：Real-Time Systems Symposium (1987 : San Jose、 Calif.)、IEEE Computer Society.、出版社：Washington, D.C. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, 1987.
	Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers 0 索取号：TP31-53/E9014/3 作者：Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、出版社：Berlin ; New York : Springer-Verlag, 1985.		Proceedings 0 索取号：TP302-53/E902/6 作者：Symposium on Reliability in Distributed Software and Database Systems (6th : 1987 : Williamsburg、 Va.)、IEEE Computer Society. TC on Distributed Processing.、出版社：Washington, D.C. : IEEE Computer Society Press, 1987.
	Symposium on Reliability in Distributed Software and Database Systems : proceedings, July 21-22, 1981, Holiday Inn Central (Greentree), Pittsburgh, PA 0 索取号：TP302-53/E902/1 作者：Symposium on Reliability in Distributed Software and Database Systems (1st : 1981 : Pittsburgh、 Pa.)、IEEE Computer Society.、Association for Computing Machinery.、出版社：N.Y. Los Angeles, CA (P.O. Box 80452, Los Angeles 90080) : IEEE Computer Society Press, 1981.		International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982 : proceedings 0 索取号：TP31-53/E9018/5 作者：International Symposium on Programming (5th : 1982 : Turin、 Italy)、Dezani-Ciancaglini、 M. (Mariangiola)、Montanari、 U. (Ugo)、出版社：Berlin ; New York : Springer-Verlag, 1982.