搜索包含 theory:design 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 theory:design 的图书(共8981本)

	Logic design with Pascal : computer-aided design techniques 0 索取号：TP302/E9014 作者：Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、出版社：New York : Van Nostrand Reinhold, 1989,c1988.		Digital design with standard MSI and LSI : design techniques for the microcomputer age 0 索取号：TP302/E806.2 作者：Blakeslee、 Thomas R.、 1937-、出版社：New York : J. Wiley, 1979.
	Computer algorithms : introduction to design and analysis 0 索取号：TP302/E805.2 作者：Baase、 Sara.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1988.		Computer algorithms : introduction to design and analysis 0 索取号：TP302/E805 作者：Baase、 Sara.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1978.
	Concepts for distributed systems design 0 索取号：TP302/E901 作者：Bochmann、 Gregor von、 1941-、出版社：Berlin ; New York : Springer-Verlag, 1983.		The logical design of multiple-microprocessor systems 0 索取号：TP302/E9012 作者：Bowen、 B. A.、Buhr、 R. J. A.、 joint author.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1980.
	Proceedings 0 索取号：TP301-53/E991/1986 作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.		Studies in complexity theory 0 索取号：TP301/E904 作者：出版社：London : Pitman ; New York : Wiley, 1986.
	Computational learning theory : an introduction 0 索取号：TP301/E995 作者：Anthony、 Martin.、Biggs、 Norman.、出版社：Cambridge [England] ; New York : Cambridge University Press, 1992.		Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981 0 索取号：O24-53/E803/13 作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
	Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 0 索取号：TP312-53/E901/1979 作者：Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、出版社：Berlin ; New York : Springer-Verlag, 1980.		Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca 0 索取号：TP312/E8014 作者：出版社：Berlin ; New York : Springer-Verlag, 1977.
	TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 0 索取号：TP3-53/E996/1991.2 作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、出版社：Berlin ; New York : Springer-Verlag, 1991-		TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 0 索取号：TP3-53/E996/1991.1 作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、出版社：Berlin ; New York : Springer-Verlag, 1991-
	Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 0 索取号：TP3-53/E8017/2 作者：International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.		CAD systems : proceedings of the IFIP Working Conference on Computer-aided Design Systems 0 索取号：TP3-53/E804 作者：IFIP Working Conference on Computer-aided Design Systems、 Austin、 Tex.、 1976.、Allan、 John J.、IFIP Technical Committee 5--Computer Applications in Technology.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.

	Logic design with Pascal : computer-aided design techniques 0 索取号：TP302/E9014 作者：Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、出版社：New York : Van Nostrand Reinhold, 1989,c1988.		Digital design with standard MSI and LSI : design techniques for the microcomputer age 0 索取号：TP302/E806.2 作者：Blakeslee、 Thomas R.、 1937-、出版社：New York : J. Wiley, 1979.
	Computer algorithms : introduction to design and analysis 0 索取号：TP302/E805.2 作者：Baase、 Sara.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1988.		Computer algorithms : introduction to design and analysis 0 索取号：TP302/E805 作者：Baase、 Sara.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1978.
	Concepts for distributed systems design 0 索取号：TP302/E901 作者：Bochmann、 Gregor von、 1941-、出版社：Berlin ; New York : Springer-Verlag, 1983.		The logical design of multiple-microprocessor systems 0 索取号：TP302/E9012 作者：Bowen、 B. A.、Buhr、 R. J. A.、 joint author.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1980.
	Proceedings 0 索取号：TP301-53/E991/1986 作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.		Studies in complexity theory 0 索取号：TP301/E904 作者：出版社：London : Pitman ; New York : Wiley, 1986.
	Computational learning theory : an introduction 0 索取号：TP301/E995 作者：Anthony、 Martin.、Biggs、 Norman.、出版社：Cambridge [England] ; New York : Cambridge University Press, 1992.		Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981 0 索取号：O24-53/E803/13 作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
	Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 0 索取号：TP312-53/E901/1979 作者：Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、出版社：Berlin ; New York : Springer-Verlag, 1980.		Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca 0 索取号：TP312/E8014 作者：出版社：Berlin ; New York : Springer-Verlag, 1977.
	TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 0 索取号：TP3-53/E996/1991.2 作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、出版社：Berlin ; New York : Springer-Verlag, 1991-		TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 0 索取号：TP3-53/E996/1991.1 作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、出版社：Berlin ; New York : Springer-Verlag, 1991-
	Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 0 索取号：TP3-53/E8017/2 作者：International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.		CAD systems : proceedings of the IFIP Working Conference on Computer-aided Design Systems 0 索取号：TP3-53/E804 作者：IFIP Working Conference on Computer-aided Design Systems、 Austin、 Tex.、 1976.、Allan、 John J.、IFIP Technical Committee 5--Computer Applications in Technology.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.