搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

	Critique of practical reason / Immanuel Kant ; edited and translated, with notes and introductions by Lewis White Beck. Foundations of the metaphysics of morals 0 索取号：B82/E991 作者：Kant、 Immanuel、 1724-1804.、Beck、 Lewis White.、出版社：[Beijing] : China Social Sciences Publishing House, 1999.		Nanotechnology research directions : IWGN Workshop report : vision for nanotechnology R&D in the next decade 0 索取号：O641-532/E20001 作者：IWGN Workshop (1999)、Roco、 M. C.、Williams、 R. S.、Alivisatos、 P.、National Science and Technology Council (U.S.). Committee on Technology.、Interagency Working Group on Nanoscience、 Engineering、 and Technology.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
	Image processing II : Mathematical methods algorithms and applications 0 索取号：TP391.41/E20011 作者：Blackledge、 Jonathan M.、Turner、 Martin J.、Institute of Physics and the Institutionof Electrical Engineers.、出版社：Chichester : Horwood Publishing, 2000.		Proceedings of the 4th International Symposium on Computer Hardware Description Languages, Palo Alto, California, October 8-9, 1979 0 索取号：TP33-53/E803/4 作者：International Symposium on Computer Hardware Description Languages and Their Applications、 4th、 Palo Alto、 Calif.、 1979.、VanCleemput、 W. M. (William Magda)、 1945-、Dietmeyer、 Donald Leo、 1932-、IEEE Computer Society.、出版社：Long Beach, CA : IEEE Computer Society ; New York, N.Y. : Institute of Electrical and Electronics Engineers, 1979.
	Data flow computing 0 索取号：TP33/E903 作者：Sharp、 J. A. (John A.)、 1955-、出版社：Chichester [West Sussex] : E. Horwood ; New York : Halsted Press, 1985.		Parallel computing : principles and practice 0 索取号：TP33/E992 作者：Fountain、 T. J. (Terry J.)、出版社：Cambridge ; New York : Cambridge University Press, 1994.
	Computer methods for mathematical computations 0 索取号：TP33/E805 作者：Forsythe、 George E. (George Elmer)、 1917-、Malcolm、 Michael A.、 1945- joint author.、Moler、 Cleve B.、 joint author.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1977.		Algebraic foundations of many-valued reasoning 0 索取号：O141/E20011 作者：Cignoli、 Roberto.、D'Ottaviano、 Itala M. L.、 1944-、Mundici、 Daniele、 1946-、出版社：Boston : Kluwer Academic Publishers, 1999.
	Distributed computer control systems : proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 0 索取号：TP322-53/E901/1979 作者：IFAC Workshop on Distributed Computer Control Systems (1st : 1979 : Tampa、 Fla.)、Harrison、 Thomas J.、 Ph. D.、Instrument Society of America.、American Automatic Control Council.、International Federation of Automatic Control. Computer Committee.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1980.		Proceedings 0 索取号：R319-53/E901 作者：Symposium on Computer Applications in Medical Care.、O'Neill、Joseph T.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、American Medical Informatics Association.、出版社：Washington New York, N.Y. : Institute of Electrical and Electronics Engineers, 1985
	Foundations of economic analysis 0 索取号：F224.0/E993 作者：Samuelson、 Paul Anthony、 1915-、出版社：Beijing : China Social Sciences Publishing House, 1999.		Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings 0 索取号：TP312-532/E992/1991 作者：PDK '91 (1991 : Kaiserslautern、 Germany)、Boley、 H. (Harold)、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1991.
	Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973 0 索取号：TP312-53/E805 作者：IFIP Working Conference on Machine Oriented Higher Level Languages、 Trondheim、 1973.、Poel、 W. L. van der (Willem Louis)、 1926-、Maarssen、 L. A.、 ed.、International Federation for Information Processing. Technical Committee 2.、出版社：London Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1974.		Command languages : proceedings of the IFIP Working Conference on Command Languages 0 索取号：TP312-53/E806 作者：IFIP Working Conference on Command Languages、 Lund、 1974.、Unger、 C. (Claus)、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
	Cognitive aspects in information processing 0 索取号：TP312-53/E903/1985 作者：IEEE Workshop on Languages for Automation (1985 : Universitat de Palma)、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.		The relationship between numerical computation and programming languages : proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 0 索取号：TP312-53/E908 作者：IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages (1981 : Boulder、 Colo.)、Reid、 John Ker.、IFIP Working Group 2.5--Mathematical Software.、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.

	Critique of practical reason / Immanuel Kant ; edited and translated, with notes and introductions by Lewis White Beck. Foundations of the metaphysics of morals 0 索取号：B82/E991 作者：Kant、 Immanuel、 1724-1804.、Beck、 Lewis White.、出版社：[Beijing] : China Social Sciences Publishing House, 1999.		Nanotechnology research directions : IWGN Workshop report : vision for nanotechnology R&D in the next decade 0 索取号：O641-532/E20001 作者：IWGN Workshop (1999)、Roco、 M. C.、Williams、 R. S.、Alivisatos、 P.、National Science and Technology Council (U.S.). Committee on Technology.、Interagency Working Group on Nanoscience、 Engineering、 and Technology.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
	Image processing II : Mathematical methods algorithms and applications 0 索取号：TP391.41/E20011 作者：Blackledge、 Jonathan M.、Turner、 Martin J.、Institute of Physics and the Institutionof Electrical Engineers.、出版社：Chichester : Horwood Publishing, 2000.		Proceedings of the 4th International Symposium on Computer Hardware Description Languages, Palo Alto, California, October 8-9, 1979 0 索取号：TP33-53/E803/4 作者：International Symposium on Computer Hardware Description Languages and Their Applications、 4th、 Palo Alto、 Calif.、 1979.、VanCleemput、 W. M. (William Magda)、 1945-、Dietmeyer、 Donald Leo、 1932-、IEEE Computer Society.、出版社：Long Beach, CA : IEEE Computer Society ; New York, N.Y. : Institute of Electrical and Electronics Engineers, 1979.
	Data flow computing 0 索取号：TP33/E903 作者：Sharp、 J. A. (John A.)、 1955-、出版社：Chichester [West Sussex] : E. Horwood ; New York : Halsted Press, 1985.		Parallel computing : principles and practice 0 索取号：TP33/E992 作者：Fountain、 T. J. (Terry J.)、出版社：Cambridge ; New York : Cambridge University Press, 1994.
	Computer methods for mathematical computations 0 索取号：TP33/E805 作者：Forsythe、 George E. (George Elmer)、 1917-、Malcolm、 Michael A.、 1945- joint author.、Moler、 Cleve B.、 joint author.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1977.		Algebraic foundations of many-valued reasoning 0 索取号：O141/E20011 作者：Cignoli、 Roberto.、D'Ottaviano、 Itala M. L.、 1944-、Mundici、 Daniele、 1946-、出版社：Boston : Kluwer Academic Publishers, 1999.
	Distributed computer control systems : proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 0 索取号：TP322-53/E901/1979 作者：IFAC Workshop on Distributed Computer Control Systems (1st : 1979 : Tampa、 Fla.)、Harrison、 Thomas J.、 Ph. D.、Instrument Society of America.、American Automatic Control Council.、International Federation of Automatic Control. Computer Committee.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1980.		Proceedings 0 索取号：R319-53/E901 作者：Symposium on Computer Applications in Medical Care.、O'Neill、Joseph T.、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、American Medical Informatics Association.、出版社：Washington New York, N.Y. : Institute of Electrical and Electronics Engineers, 1985
	Foundations of economic analysis 0 索取号：F224.0/E993 作者：Samuelson、 Paul Anthony、 1915-、出版社：Beijing : China Social Sciences Publishing House, 1999.		Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings 0 索取号：TP312-532/E992/1991 作者：PDK '91 (1991 : Kaiserslautern、 Germany)、Boley、 H. (Harold)、Richter、 Michael M.、 1938-、出版社：Berlin ; New York : Springer-Verlag, 1991.
	Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973 0 索取号：TP312-53/E805 作者：IFIP Working Conference on Machine Oriented Higher Level Languages、 Trondheim、 1973.、Poel、 W. L. van der (Willem Louis)、 1926-、Maarssen、 L. A.、 ed.、International Federation for Information Processing. Technical Committee 2.、出版社：London Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1974.		Command languages : proceedings of the IFIP Working Conference on Command Languages 0 索取号：TP312-53/E806 作者：IFIP Working Conference on Command Languages、 Lund、 1974.、Unger、 C. (Claus)、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
	Cognitive aspects in information processing 0 索取号：TP312-53/E903/1985 作者：IEEE Workshop on Languages for Automation (1985 : Universitat de Palma)、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1985.		The relationship between numerical computation and programming languages : proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 0 索取号：TP312-53/E908 作者：IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages (1981 : Boulder、 Colo.)、Reid、 John Ker.、IFIP Working Group 2.5--Mathematical Software.、International Federation for Information Processing. Technical Committee 2.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.