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

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

	The garden and the workshop : essays on the cultural history of Vienna and Budapest 0 索取号：K521.0/E991 作者：Hanak、 Peter.、出版社：Princeton, NJ : Princeton University Press, 1998.		Matrix calculus and Kronecker product with applications and C++ programs 0 索取号：O241.6/E993 作者：Steeb、 Willi-Hans.、Shi、 Tan Kiat.、出版社：Singapore ; River Edge, NJ : World Scientific, c1997.
	C-myc in B-cell neoplasia : 14th Workshop on Mechanisms in B-Cell Neoplasia 0 索取号：R379/E991 作者：Workshop on Mechanisms in B-Cell Neoplasia (14th : 1996 : Bethesda、 Md.)、Potter、 Michael、 1924-、Melchers、 F. (Fritz)、 1936-、出版社：Berlin ; New York : Springer, c1997.		Verification of sequential and concurrent programs 0 索取号：TP311.1/E995.2 作者：Apt、 Krzysztof R.、Olderog、 E.-R.、出版社：New York : Springer-Verlag, c1997.
	Advances in geometric analysis and continuum mechanics : proceedings of a conference held at Stanford University on August 2-5, 1993 in honor of the seventieth birthday of Robert Finn 0 索取号：O316-532/E991 作者：出版社：Cambridge, MA : International Press, c1995.		1996 IEEE TENCON, Digital Signal Processing Applications : proceedings : The University of Western Australia, Perth, Western Australia, 26-29 November, 1996 0 索取号：TN911-532/E991 作者：TENCON (1996 : Perth、 Australia)、IEEE Region 10.、出版社：Piscataway, NJ : IEEE Service Center, c1996.
	Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 0 索取号：TP274-532/E992/1995 作者：出版社：Berlin ; New York : Springer, c1995.		Structure and interpretation of computer programs 0 索取号：TP312/E90165.2 作者：出版社：Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1996.
	Algorithms and data structures : 4th International Workshop, WADS '95, Kingston, Canada, August 1995 proceedings 0 索取号：TP311.12/E903/1995 作者：WADS '95 (1995 : Kingston、 Ont.)、Akl、 Selim G.、出版社：Berlin : Springer, c1995.		Advances in databases and information systems : proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBISʼש5), Moscow, 27-30 June 1995 0 索取号：TP311.13-532/E993 作者：出版社：Berlin ; New York : Springer Verlag, c1996.
	Eighth IEEE International Conference on Tools with Artificial Intelligence : November 16-19, 1996, Toulouse, France 0 索取号：TP18-532/E20071/8 作者：International Conference on Tools for Artificial Intelligence (8th : 1996 : Toulouse、 France)、IEEE Computer Society.、State University of New York at Binghamton. Center for Intelligent Systems.、Institut national de recherche en informatique et en automatique (France)、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1996.		Quantifiers : logics, models and computation 0 索取号：O141/E992 作者：出版社：Dordrecht : Kluwer Academic Publishers, c1995.
	Surveys in differential geometry : proceedings of the conference on geometry and topology held at Harvard University, April 23-25, 1993 0 索取号：O186-532/E992 作者：Conference on Geometry and Topology (2nd : 1993 : Harvard University)、Hsiung、 Chuan-Chih、 1916-、Yau、 Shing-tung、 1949-、Lehigh University.、出版社：Cambridge, Mass. : International Press, c1995.		Surveys in differential geometry : proceedings of the Conference on Geometry and Topology held at Harvard University, April 27-29, 1990 0 索取号：O186-532/E991 作者：出版社：Bethlehem, Pa. : Lehigh University ; Providence, RI : Orders should be addressed to American Mathematical Society, 1991.
	The University of Hong Kong : an informal history 0 索取号：G649.286.58/E901 作者：Mellor、 Bernard.、出版社：Hong Kong : Hong Kong University Press, 1980.		Differential equations and mathematical physics : proceedings of the conference sponsored by University of Alabama at Birmingham and Georgia Institute of Technology, Mar. 13-17th, 1994 0 索取号：O411-532/E992/1994 作者：出版社：Cambridge, Mass. : International Press Inc., c1995.

	The garden and the workshop : essays on the cultural history of Vienna and Budapest 0 索取号：K521.0/E991 作者：Hanak、 Peter.、出版社：Princeton, NJ : Princeton University Press, 1998.		Matrix calculus and Kronecker product with applications and C++ programs 0 索取号：O241.6/E993 作者：Steeb、 Willi-Hans.、Shi、 Tan Kiat.、出版社：Singapore ; River Edge, NJ : World Scientific, c1997.
	C-myc in B-cell neoplasia : 14th Workshop on Mechanisms in B-Cell Neoplasia 0 索取号：R379/E991 作者：Workshop on Mechanisms in B-Cell Neoplasia (14th : 1996 : Bethesda、 Md.)、Potter、 Michael、 1924-、Melchers、 F. (Fritz)、 1936-、出版社：Berlin ; New York : Springer, c1997.		Verification of sequential and concurrent programs 0 索取号：TP311.1/E995.2 作者：Apt、 Krzysztof R.、Olderog、 E.-R.、出版社：New York : Springer-Verlag, c1997.
	Advances in geometric analysis and continuum mechanics : proceedings of a conference held at Stanford University on August 2-5, 1993 in honor of the seventieth birthday of Robert Finn 0 索取号：O316-532/E991 作者：出版社：Cambridge, MA : International Press, c1995.		1996 IEEE TENCON, Digital Signal Processing Applications : proceedings : The University of Western Australia, Perth, Western Australia, 26-29 November, 1996 0 索取号：TN911-532/E991 作者：TENCON (1996 : Perth、 Australia)、IEEE Region 10.、出版社：Piscataway, NJ : IEEE Service Center, c1996.
	Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 0 索取号：TP274-532/E992/1995 作者：出版社：Berlin ; New York : Springer, c1995.		Structure and interpretation of computer programs 0 索取号：TP312/E90165.2 作者：出版社：Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1996.
	Algorithms and data structures : 4th International Workshop, WADS '95, Kingston, Canada, August 1995 proceedings 0 索取号：TP311.12/E903/1995 作者：WADS '95 (1995 : Kingston、 Ont.)、Akl、 Selim G.、出版社：Berlin : Springer, c1995.		Advances in databases and information systems : proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBISʼש5), Moscow, 27-30 June 1995 0 索取号：TP311.13-532/E993 作者：出版社：Berlin ; New York : Springer Verlag, c1996.
	Eighth IEEE International Conference on Tools with Artificial Intelligence : November 16-19, 1996, Toulouse, France 0 索取号：TP18-532/E20071/8 作者：International Conference on Tools for Artificial Intelligence (8th : 1996 : Toulouse、 France)、IEEE Computer Society.、State University of New York at Binghamton. Center for Intelligent Systems.、Institut national de recherche en informatique et en automatique (France)、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1996.		Quantifiers : logics, models and computation 0 索取号：O141/E992 作者：出版社：Dordrecht : Kluwer Academic Publishers, c1995.
	Surveys in differential geometry : proceedings of the conference on geometry and topology held at Harvard University, April 23-25, 1993 0 索取号：O186-532/E992 作者：Conference on Geometry and Topology (2nd : 1993 : Harvard University)、Hsiung、 Chuan-Chih、 1916-、Yau、 Shing-tung、 1949-、Lehigh University.、出版社：Cambridge, Mass. : International Press, c1995.		Surveys in differential geometry : proceedings of the Conference on Geometry and Topology held at Harvard University, April 27-29, 1990 0 索取号：O186-532/E991 作者：出版社：Bethlehem, Pa. : Lehigh University ; Providence, RI : Orders should be addressed to American Mathematical Society, 1991.
	The University of Hong Kong : an informal history 0 索取号：G649.286.58/E901 作者：Mellor、 Bernard.、出版社：Hong Kong : Hong Kong University Press, 1980.		Differential equations and mathematical physics : proceedings of the conference sponsored by University of Alabama at Birmingham and Georgia Institute of Technology, Mar. 13-17th, 1994 0 索取号：O411-532/E992/1994 作者：出版社：Cambridge, Mass. : International Press Inc., c1995.