搜索包含 Proceedings of the Fourteenth Workshop 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Proceedings of the Fourteenth Workshop 的图书(共8098本)

	Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings 0 索取号：TP3-55/E905 作者：出版社：Berlin ; New York : Springer-Verlag, c1985.		Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings 0 索取号：TP3-53/E9031/1982 作者：Conference on Operating Systems (1982 : Visegrâad、 Hungary)、Knuth、 E. (Elîod)、 1943-、Neuhold、 Erich J.、出版社：Berlin ; New York : Springer-Verlag, 1983.		Mathematical foundations of computer science 1981 [electronic resource] : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 0 索取号：TP3-53/E8014/1981 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、出版社：Berlin ; New York : Springer-Verlag, 1981.
	Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings 0 索取号：TP3-55/E9010 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.		Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 0 索取号：TP3-53/E8014/1980 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、出版社：Berlin ; New York : Springer-Verlag, 1980.
	Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 0 索取号：TN919.2-53/E907/1979 作者：Advanced Course on General Net Theory of Processes and Systems (1979 : Hamburg、 Germany)、Brauer、 Wilfried.、出版社：Berlin ; New York : Springer-Verlag, 1980.		Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 0 索取号：TP3-55/E802 作者：International Conference on Mathematical Studies of Information Processing (1978 : Kyoto、 Japan)、Blum、 E. K. (Edward K.)、 1923-、Paul、 M. (Medford)、Takasu、 Satoru、 1931-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings 0 索取号：TP3-532/E992/1989 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.		First USA-Japan Computer Conference proceedings : October 3-5, 1972, Tokyo, Japan 0 索取号：TP3-53/E8010/1 作者：USA-Japan Computer Conference (1st : 1972 : Tokyo、 Japan)、American Federation of Information Processing Societies.、Jåohåo Shori Gakkai (Japan)、出版社：Montvale, N.J. : American Federation of Information Processing Societies, c1972.
	Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing : papers presented on August 19-22, 1975 0 索取号：TP3-53/E8025/1975 作者：Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、出版社：Long Beach, CA : available from IEEE Computer Society, c1975.		Proceedings of the 1973 Sagamore Computer Conference on Parallel Processing, papers presented on August 22-24, 1973 0 索取号：TP3-53/E8025/1973 作者：Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、出版社：[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
	Proceedings : FTCS-7, the Seventh Annual International Conference on Fault-Tolerant Computing, Los Angeles, California, June 28-30, 1977 0 索取号：TP3-53/E908/7 作者：International Symposium on Fault-Tolerant Computing (7th : 1977 : Los Angeles)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society、出版社：New York : Institute of Electrical and Electronics Engineers, Inc., 1977.		The European Computing Congress conference proceedings, Brunel University, England, 13-17 May 1974 0 索取号：TP3-53/E8012/1 作者：European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、出版社：Uxbridge : Online (Computer Systems) Ltd., [1974].
	Proceedings of the Eighth Conference on Electronic Computation : Continuing Education Center, University of Houston, Houston, Texas, February 21-23 1983 0 索取号：TP3-53/E9021/8 作者：Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、出版社：New York, N.Y. : ASCE, 1983.		Proceedings of the second Berkeley Workshop on Distributed Data Management and Computer Networks 0 索取号：TP3-53/E8013/2 作者：Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、出版社：Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.

	Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings 0 索取号：TP3-55/E905 作者：出版社：Berlin ; New York : Springer-Verlag, c1985.		Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings 0 索取号：TP3-53/E9031/1982 作者：Conference on Operating Systems (1982 : Visegrâad、 Hungary)、Knuth、 E. (Elîod)、 1943-、Neuhold、 Erich J.、出版社：Berlin ; New York : Springer-Verlag, 1983.		Mathematical foundations of computer science 1981 [electronic resource] : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 0 索取号：TP3-53/E8014/1981 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、出版社：Berlin ; New York : Springer-Verlag, 1981.
	Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings 0 索取号：TP3-55/E9010 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.		Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 0 索取号：TP3-53/E8014/1980 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、出版社：Berlin ; New York : Springer-Verlag, 1980.
	Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 0 索取号：TN919.2-53/E907/1979 作者：Advanced Course on General Net Theory of Processes and Systems (1979 : Hamburg、 Germany)、Brauer、 Wilfried.、出版社：Berlin ; New York : Springer-Verlag, 1980.		Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 0 索取号：TP3-55/E802 作者：International Conference on Mathematical Studies of Information Processing (1978 : Kyoto、 Japan)、Blum、 E. K. (Edward K.)、 1923-、Paul、 M. (Medford)、Takasu、 Satoru、 1931-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings 0 索取号：TP3-532/E992/1989 作者：出版社：Berlin ; New York : Springer-Verlag, c1989.		First USA-Japan Computer Conference proceedings : October 3-5, 1972, Tokyo, Japan 0 索取号：TP3-53/E8010/1 作者：USA-Japan Computer Conference (1st : 1972 : Tokyo、 Japan)、American Federation of Information Processing Societies.、Jåohåo Shori Gakkai (Japan)、出版社：Montvale, N.J. : American Federation of Information Processing Societies, c1972.
	Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing : papers presented on August 19-22, 1975 0 索取号：TP3-53/E8025/1975 作者：Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、出版社：Long Beach, CA : available from IEEE Computer Society, c1975.		Proceedings of the 1973 Sagamore Computer Conference on Parallel Processing, papers presented on August 22-24, 1973 0 索取号：TP3-53/E8025/1973 作者：Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、出版社：[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
	Proceedings : FTCS-7, the Seventh Annual International Conference on Fault-Tolerant Computing, Los Angeles, California, June 28-30, 1977 0 索取号：TP3-53/E908/7 作者：International Symposium on Fault-Tolerant Computing (7th : 1977 : Los Angeles)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society、出版社：New York : Institute of Electrical and Electronics Engineers, Inc., 1977.		The European Computing Congress conference proceedings, Brunel University, England, 13-17 May 1974 0 索取号：TP3-53/E8012/1 作者：European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、出版社：Uxbridge : Online (Computer Systems) Ltd., [1974].
	Proceedings of the Eighth Conference on Electronic Computation : Continuing Education Center, University of Houston, Houston, Texas, February 21-23 1983 0 索取号：TP3-53/E9021/8 作者：Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、出版社：New York, N.Y. : ASCE, 1983.		Proceedings of the second Berkeley Workshop on Distributed Data Management and Computer Networks 0 索取号：TP3-53/E8013/2 作者：Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、出版社：Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.