搜索包含 Mathematical Software Symposium 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

	Proceedings of the Tenth ACM Symposium on Operating Systems Principles, 1-4 December 1985, Orcas Island, Washington 0 索取号：TP3-53/E8022/10 作者：Symposium on Operating Systems Principles (10th : 1985 : Orcas Island、 Washington)、ACM Special Interest Group in Operating Systems.、出版社：New York, N.Y. : ACM, c1985.		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.
	Advances in software science and technology 0 索取号：TP311/E9969 作者：出版社：Boston : Academic Press, c1990-		High-integrity software 0 索取号：TP31/E9077 作者：出版社：London : Pitman, 1989.
	Proceedings of the SIGPLAN '82 Symposium on Compiler construction : papers presented at the Symposium, Boston, Massachusetts, June 23-25, 1982 0 索取号：TP31-53/E9027/1982 作者：SIGPLAN '82 Symposium on Compiler Construction (Boston、 Mass.)、ACM Special Interest Group on Programming Languages.、出版社：New York, N.Y. : Association for Computing Machinery, 1982.		Mathematical structures for software engineering 0 索取号：TP31/E9929 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1991.
	Software concepts in process control 0 索取号：TP31/E90109 作者：Chard、 R. Alan、National Computing Centre Limited、出版社：Manchester, England : NCC Publications, 1983		Audit and control of systems software 0 索取号：TP31/E90111 作者：出版社：Manchester, England : NCC Publications, 1983.
	Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings 0 索取号：TP301-53/E903/1989 作者：Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、出版社：Berlin : Springer-Verlag, c1989.		Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 0 索取号：TP3-53/E8014/1979 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc、 Czechoslovakia)、Bečvář、 J.、 1926-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	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.
	Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings, MFCS '89 0 索取号：TP3-53/E8014/1989 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 Porąbka、 Bielsko、 Poland and Kozubnik、 Poland)、Kreczmar、 Antoni.、Mirkowska-Salwicka、 Grażyna.、出版社：Berlin : Springer-Verlag, c1989.		Record of proceedings : the 14th Annual Simulation Symposium, Tampa, Florida, 1981 0 索取号：TP15-53/E905/14 作者：Simulation Symposium (14th : 1981 : Tampa、 Fla.)、Huhn、 Ronald M.、Simons、 Fred O.、出版社：Washington, D.C. : Computer Spociety of the IEEE, c1981.
	1977 IEEE International Symposium on Information Theory : Cornell University, Ithaca, New York, USA, October, 10-14, 1977 0 索取号：TP14-53/E806/1977 作者：IEEE International Symposium on Information Theory (1977 : New York)、IEEE Information Theory Group.、Institute of Electrical and Electronics Engineers.、Union Radio Scientifique Internationale.、出版社：New York : [s.n.], 1977?		Sixth International Conference on Software Engineering for Telecommunication Switching Systems, 14-18 April 1986 : venue, the Philips Congress Centre, Eindhoven, the Netherlands 0 索取号：TN91-53/E908/1986 作者：International Conference on Software Engineering for Telecommunication Switching Systems (6th : 1986 : Eindhoven、 Netherlands)、Institution of Electrical Engineers. Electronics Division.、Institution of Electrical Engineers. Computing & Control Division.、Koninklijk Instituut van Ingenieurs (Netherlands). Afdeling Sectie Informatietechniek.、British Computer Society.、出版社：London ; New York : Institution of Electrical Engineers, c1986.

	Proceedings of the Tenth ACM Symposium on Operating Systems Principles, 1-4 December 1985, Orcas Island, Washington 0 索取号：TP3-53/E8022/10 作者：Symposium on Operating Systems Principles (10th : 1985 : Orcas Island、 Washington)、ACM Special Interest Group in Operating Systems.、出版社：New York, N.Y. : ACM, c1985.		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.
	Advances in software science and technology 0 索取号：TP311/E9969 作者：出版社：Boston : Academic Press, c1990-		High-integrity software 0 索取号：TP31/E9077 作者：出版社：London : Pitman, 1989.
	Proceedings of the SIGPLAN '82 Symposium on Compiler construction : papers presented at the Symposium, Boston, Massachusetts, June 23-25, 1982 0 索取号：TP31-53/E9027/1982 作者：SIGPLAN '82 Symposium on Compiler Construction (Boston、 Mass.)、ACM Special Interest Group on Programming Languages.、出版社：New York, N.Y. : Association for Computing Machinery, 1982.		Mathematical structures for software engineering 0 索取号：TP31/E9929 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1991.
	Software concepts in process control 0 索取号：TP31/E90109 作者：Chard、 R. Alan、National Computing Centre Limited、出版社：Manchester, England : NCC Publications, 1983		Audit and control of systems software 0 索取号：TP31/E90111 作者：出版社：Manchester, England : NCC Publications, 1983.
	Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings 0 索取号：TP301-53/E903/1989 作者：Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、出版社：Berlin : Springer-Verlag, c1989.		Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 0 索取号：TP3-53/E8014/1979 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc、 Czechoslovakia)、Bečvář、 J.、 1926-、出版社：Berlin ; New York : Springer-Verlag, 1979.
	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.
	Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings, MFCS '89 0 索取号：TP3-53/E8014/1989 作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 Porąbka、 Bielsko、 Poland and Kozubnik、 Poland)、Kreczmar、 Antoni.、Mirkowska-Salwicka、 Grażyna.、出版社：Berlin : Springer-Verlag, c1989.		Record of proceedings : the 14th Annual Simulation Symposium, Tampa, Florida, 1981 0 索取号：TP15-53/E905/14 作者：Simulation Symposium (14th : 1981 : Tampa、 Fla.)、Huhn、 Ronald M.、Simons、 Fred O.、出版社：Washington, D.C. : Computer Spociety of the IEEE, c1981.
	1977 IEEE International Symposium on Information Theory : Cornell University, Ithaca, New York, USA, October, 10-14, 1977 0 索取号：TP14-53/E806/1977 作者：IEEE International Symposium on Information Theory (1977 : New York)、IEEE Information Theory Group.、Institute of Electrical and Electronics Engineers.、Union Radio Scientifique Internationale.、出版社：New York : [s.n.], 1977?		Sixth International Conference on Software Engineering for Telecommunication Switching Systems, 14-18 April 1986 : venue, the Philips Congress Centre, Eindhoven, the Netherlands 0 索取号：TN91-53/E908/1986 作者：International Conference on Software Engineering for Telecommunication Switching Systems (6th : 1986 : Eindhoven、 Netherlands)、Institution of Electrical Engineers. Electronics Division.、Institution of Electrical Engineers. Computing & Control Division.、Koninklijk Instituut van Ingenieurs (Netherlands). Afdeling Sectie Informatietechniek.、British Computer Society.、出版社：London ; New York : Institution of Electrical Engineers, c1986.