搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Combinatorial optimization. II. the proceedings of the CO79 conference held at the University of East Anglia, Norwich, England, 9th-12th June 1979 0 索取号：O221/E908/2 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S. and Canada, Elsevier North-Holland, 1980.		Simulation of control systems, with special emphasis on modelling and redundancy : proceedings of the IMACS Symposium on Simulation of Control Systems with Special Emphasis on Modelling and Redundancy, Technical University Vienna, September 27-29, 1978 0 索取号：O231-53/E802 作者：Imacs Symposium on Simulation of Control Systems with Special Emphasis on Modelling and Redundancy、 Vienna Technical University、 1978.、Troch、 I. (Inge)、International Association for Mathematics and Computers in Simulation.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
	Recent theoretical developments in control : proceedings of the Conference on Recent Theoretical Developments in Control held at the University of Leicester, September 14th-16th, 1976 0 索取号：O231-53/E801 作者：Conference on Recent Theoretical Developments in Control (1976 : University of Leicester)、Gregson、 Malcolm J.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1978.		Optimal control theory and economic analysis. 2. Second Viennese Workshop on Economic Applications of Control Theory, held in Vienna, May 16-18, 1984 0 索取号：O231-53/E903/2 作者：Viennese Workshop on Economic Applications of Control Theory (2nd : 1984)、Feichtinger、 Gustav、 1940-、Technische UniversiẗАt Wien. Institut f̈Уr ̈оkonometrie und Operations Research.、̈оsterreichische Gesellschaft f̈Уr Operations Research.、出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1985.
	Fundamental university physics 0 索取号：O4/E702.2 作者：Alonso、 Marcelo、 1921-、Finn、 Edward J.、出版社：Reading, Mass. : Addison-Wesley Publishing Co., 1980-		Optimal control theory and economic analysis. [1]. First Viennese Workshop on Economic Applications of Control Theory, held in Vienna, October 28-30, 1981 0 索取号：O231-53/E903/1 作者：Viennese Workshop on Economic Applications of Control Theory (1st : 1981)、Feichtinger、 Gustav、 1940-、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
	Control of uncertain systems : proceedings of an international workshop, Bremen, West Germany, June 1989 0 索取号：O231-53/E992 作者：出版社：Boston : Birkhauser, 1990.		Fundamental university physics 0 索取号：O4/E702 作者：Alonso、 Marcelo、 1921-、Finn、 Edward J.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., [c1967-68].
	Cybernetics and systems '86 : proceedings of the Eighth European Meeting on Cybernetics and Systems Research 0 索取号：O231-53/E907/1986 作者：European Meeting on Cybernetics and Systems Research (8th : 1986 : University of Vienna)、Trappl、 Robert.、̈оsterreichische Studiengesellschaft f̈Уr Kybernetik.、出版社：Dordrecht ; Boston : D. Reidel Pub. Co. ; Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986.		Analysis and optimisation of stochastic systems : based on the proceedings of the International Conference on Analysis and Optimisation of Stochastic Systems held at the University of Oxford from 6-8 September, 1978 0 索取号：O231-53/E906 作者：International Conference on Analysis and Optimisation of Stochastic Systems (1978 : University of Oxford)、Jacobs、 O. L. R.、出版社：London ; New York : Academic Press, 1980.
	The International market in film and television programs 0 索取号：J943.11/E991 作者：出版社：Norwood, N.J. : Ablex Pub. Corp., 1993.		Maximum entropy and Bayesian methods : proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis, Seattle, 1991 0 索取号：O213-532/E991 作者：International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis (11th : 1991 : Seattle、 Wash.)、Smith、 C. Ray、 1933-、Erickson、 Gary J.、Neudorfer、 Paul O.、出版社：Dordrecht ; Boston : Kluwer Academic, c1992.
	University physics 0 索取号：O4/E8035.4 作者：Sears、 Francis Weston、 1898-、Zemansky、 Mark Waldo、 1900- joint author.、出版社：London: Reading, Mass., Addison-Wesley Pub. Co. [1970]		Analysis and computation of fixed points 0 索取号：O177.91-53/E901 作者：Symposium on Analysis and Computation of Fixed Points (1979 : University of Wisconsin--Madison)、Robinson、 Stephen M.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1980.
	Automated theorem proving : after 25 years 0 索取号：O231/E907 作者：Special Session on Automatic Theorem Proving (1983 : Denver、 Colo.)、Bledsoe、 W. W.、Loveland、 Donald W.、American Mathematical Society.、出版社：Providence, R.I. : American Mathematical Society, 1984.		Maximum entropy and Bayesian methods in applied statistics : proceedings of the Fourth Maximum Entropy Workshop, University of Calgary, 1984 0 索取号：O213-53/E901 作者：Maximum Entropy Workshop (4th : 1984 : University of Calgary)、Justice、 James H.、 1941-、出版社：London ; Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.

	Combinatorial optimization. II. the proceedings of the CO79 conference held at the University of East Anglia, Norwich, England, 9th-12th June 1979 0 索取号：O221/E908/2 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S. and Canada, Elsevier North-Holland, 1980.		Simulation of control systems, with special emphasis on modelling and redundancy : proceedings of the IMACS Symposium on Simulation of Control Systems with Special Emphasis on Modelling and Redundancy, Technical University Vienna, September 27-29, 1978 0 索取号：O231-53/E802 作者：Imacs Symposium on Simulation of Control Systems with Special Emphasis on Modelling and Redundancy、 Vienna Technical University、 1978.、Troch、 I. (Inge)、International Association for Mathematics and Computers in Simulation.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
	Recent theoretical developments in control : proceedings of the Conference on Recent Theoretical Developments in Control held at the University of Leicester, September 14th-16th, 1976 0 索取号：O231-53/E801 作者：Conference on Recent Theoretical Developments in Control (1976 : University of Leicester)、Gregson、 Malcolm J.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1978.		Optimal control theory and economic analysis. 2. Second Viennese Workshop on Economic Applications of Control Theory, held in Vienna, May 16-18, 1984 0 索取号：O231-53/E903/2 作者：Viennese Workshop on Economic Applications of Control Theory (2nd : 1984)、Feichtinger、 Gustav、 1940-、Technische UniversiẗАt Wien. Institut f̈Уr ̈оkonometrie und Operations Research.、̈оsterreichische Gesellschaft f̈Уr Operations Research.、出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1985.
	Fundamental university physics 0 索取号：O4/E702.2 作者：Alonso、 Marcelo、 1921-、Finn、 Edward J.、出版社：Reading, Mass. : Addison-Wesley Publishing Co., 1980-		Optimal control theory and economic analysis. [1]. First Viennese Workshop on Economic Applications of Control Theory, held in Vienna, October 28-30, 1981 0 索取号：O231-53/E903/1 作者：Viennese Workshop on Economic Applications of Control Theory (1st : 1981)、Feichtinger、 Gustav、 1940-、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
	Control of uncertain systems : proceedings of an international workshop, Bremen, West Germany, June 1989 0 索取号：O231-53/E992 作者：出版社：Boston : Birkhauser, 1990.		Fundamental university physics 0 索取号：O4/E702 作者：Alonso、 Marcelo、 1921-、Finn、 Edward J.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., [c1967-68].
	Cybernetics and systems '86 : proceedings of the Eighth European Meeting on Cybernetics and Systems Research 0 索取号：O231-53/E907/1986 作者：European Meeting on Cybernetics and Systems Research (8th : 1986 : University of Vienna)、Trappl、 Robert.、̈оsterreichische Studiengesellschaft f̈Уr Kybernetik.、出版社：Dordrecht ; Boston : D. Reidel Pub. Co. ; Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986.		Analysis and optimisation of stochastic systems : based on the proceedings of the International Conference on Analysis and Optimisation of Stochastic Systems held at the University of Oxford from 6-8 September, 1978 0 索取号：O231-53/E906 作者：International Conference on Analysis and Optimisation of Stochastic Systems (1978 : University of Oxford)、Jacobs、 O. L. R.、出版社：London ; New York : Academic Press, 1980.
	The International market in film and television programs 0 索取号：J943.11/E991 作者：出版社：Norwood, N.J. : Ablex Pub. Corp., 1993.		Maximum entropy and Bayesian methods : proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis, Seattle, 1991 0 索取号：O213-532/E991 作者：International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis (11th : 1991 : Seattle、 Wash.)、Smith、 C. Ray、 1933-、Erickson、 Gary J.、Neudorfer、 Paul O.、出版社：Dordrecht ; Boston : Kluwer Academic, c1992.
	University physics 0 索取号：O4/E8035.4 作者：Sears、 Francis Weston、 1898-、Zemansky、 Mark Waldo、 1900- joint author.、出版社：London: Reading, Mass., Addison-Wesley Pub. Co. [1970]		Analysis and computation of fixed points 0 索取号：O177.91-53/E901 作者：Symposium on Analysis and Computation of Fixed Points (1979 : University of Wisconsin--Madison)、Robinson、 Stephen M.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1980.
	Automated theorem proving : after 25 years 0 索取号：O231/E907 作者：Special Session on Automatic Theorem Proving (1983 : Denver、 Colo.)、Bledsoe、 W. W.、Loveland、 Donald W.、American Mathematical Society.、出版社：Providence, R.I. : American Mathematical Society, 1984.		Maximum entropy and Bayesian methods in applied statistics : proceedings of the Fourth Maximum Entropy Workshop, University of Calgary, 1984 0 索取号：O213-53/E901 作者：Maximum Entropy Workshop (4th : 1984 : University of Calgary)、Justice、 James H.、 1941-、出版社：London ; Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.