搜索包含 Miami Winter Symposium (15th : 1983) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Miami Winter Symposium (15th : 1983) 的图书(共3222本)

	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.		Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 0 索取号：TP3-53/E8015/6 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	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.		Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973 0 索取号：TP3-55/E801 作者：International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、出版社：Berlin ; New York : Springer-Verlag, 1974.
	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.		21st Annual Symposium on Foundations of Computer Science : Syracuse, Oct. 13-15, 1980 0 索取号：TP3-53/E905/21 作者：Symposium on Foundations of Computer Science (21st : 1980 : Syracuse、 N.Y.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Long Beach : IEEE Computer Society, 1980.
	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 5th International Conference on Computer Capacity Management 0 索取号：TP3-53/E9011/5 作者：International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、出版社：Sunnyvale, Calif. : Institute for Software Engineering, c1983.
	ACM 83 [electronic resource] : computers, extending the human resource : 1983 annual conference, New York City, October 24-26, 1983 0 索取号：TP3-27/E801/1983 作者：Association for Computing Machinery. Conference (1983 : New York、 N.Y.)、ACM Digital Library.、出版社：New York : Association for Computing Machinery, c1983		Proceedings 0 索取号：TP273-53/E907/3 作者：Symposium on Computer-Aided Control System Design (3rd : 1986 : Arlington、 Va.)、IEEE Control Systems Society.、出版社：Piscataway, NJ, U.S.A. : Additional copies from Order Dept., Publications Sales, IEEE Service Center, c1986.
	Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 1 0 索取号：TP271.7/E801/3.1 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.		IEEE conference record of 1966 seventh annual symposium on switching and automata theory : papers presented at the seventh annual symposium : University of California, Berkeley, Calif., October 26-28, 1966 0 索取号：TP17/E702/7 作者：Symposium on Switching and Automata Theory (7th : 1966 : Berkley)、Institute of Electrical and Electronics Engineers、出版社：New York, The Institute of Electrical and Electronics Engineers, 1966
	The 18th Annual Simulation Symposium, March 13-15, 1985, Tampa, Fla. : record of proceedings 0 索取号：TP15-53/E905/18 作者：Simulation Symposium (18th : 1985 : Tampa、 Fla.)、Miller、 Anita.、出版社：Maryland Silver Spring, Md. : ACM IEEE Computer Society, c1985.		Record of proceedings : the 15th Annual Simulation Symposium, Tampa, Florida 0 索取号：TP15-53/E905/15 作者：Simulation Symposium (15th : 1982 : Tampa、 Fla.)、Massarotti、 Robert.、出版社：Washington, D.C. : Computer Spociety of the IEEE, c1982.

	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.		Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 0 索取号：TP3-53/E8015/6 作者：出版社：Berlin ; New York : Springer-Verlag, 1982.
	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.		Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973 0 索取号：TP3-55/E801 作者：International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、出版社：Berlin ; New York : Springer-Verlag, 1974.
	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.		21st Annual Symposium on Foundations of Computer Science : Syracuse, Oct. 13-15, 1980 0 索取号：TP3-53/E905/21 作者：Symposium on Foundations of Computer Science (21st : 1980 : Syracuse、 N.Y.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Long Beach : IEEE Computer Society, 1980.
	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 5th International Conference on Computer Capacity Management 0 索取号：TP3-53/E9011/5 作者：International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、出版社：Sunnyvale, Calif. : Institute for Software Engineering, c1983.
	ACM 83 [electronic resource] : computers, extending the human resource : 1983 annual conference, New York City, October 24-26, 1983 0 索取号：TP3-27/E801/1983 作者：Association for Computing Machinery. Conference (1983 : New York、 N.Y.)、ACM Digital Library.、出版社：New York : Association for Computing Machinery, c1983		Proceedings 0 索取号：TP273-53/E907/3 作者：Symposium on Computer-Aided Control System Design (3rd : 1986 : Arlington、 Va.)、IEEE Control Systems Society.、出版社：Piscataway, NJ, U.S.A. : Additional copies from Order Dept., Publications Sales, IEEE Service Center, c1986.
	Identification and system parameter estimation : Proceedings of the 3d IFAC Symposium, The Hague/Delft, The Netherlands, 12-15 June 1973. v. 1 0 索取号：TP271.7/E801/3.1 作者：IFAC Symposium on Identification and System Parameter Estimation (3rd : 1973 : Delft University of Technology)、Eykhoff、 Pieter、 1929- ed.、Instituut van Ingenieurs. Division for Automatic Control.、International Federation of Automatic Control.、International Federation of Automatic Control. Technical Committee on Theory.、International Federation of Automatic Control. Technical Committee on Applications.、出版社：London Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.		IEEE conference record of 1966 seventh annual symposium on switching and automata theory : papers presented at the seventh annual symposium : University of California, Berkeley, Calif., October 26-28, 1966 0 索取号：TP17/E702/7 作者：Symposium on Switching and Automata Theory (7th : 1966 : Berkley)、Institute of Electrical and Electronics Engineers、出版社：New York, The Institute of Electrical and Electronics Engineers, 1966
	The 18th Annual Simulation Symposium, March 13-15, 1985, Tampa, Fla. : record of proceedings 0 索取号：TP15-53/E905/18 作者：Simulation Symposium (18th : 1985 : Tampa、 Fla.)、Miller、 Anita.、出版社：Maryland Silver Spring, Md. : ACM IEEE Computer Society, c1985.		Record of proceedings : the 15th Annual Simulation Symposium, Tampa, Florida 0 索取号：TP15-53/E905/15 作者：Simulation Symposium (15th : 1982 : Tampa、 Fla.)、Massarotti、 Robert.、出版社：Washington, D.C. : Computer Spociety of the IEEE, c1982.