搜索包含 logic 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic 的图书(共526本)

	Digital logic : applications and design = 数字逻辑 : 应用与设计 0 索取号：TP331.1/E20021 作者：Yarbrough、 John M.、出版社：北京 : 机械工业出版社, 2002.		Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark,July 29-August 1, 2002 : proceedings 0 索取号：TP311.1-532/E20031/18 作者：International Conference on Logic Programming (18th : 2002 : University of Copenhagen)、Stuckey、 Peter J.、Federated Logic Conference (3rd : 2002: Copenhagen、 Denmark)、出版社：Berlin ; London : Springer, c2002.
	The bugbook II : Logic & Memory experiments m 0 索取号：TN6/E801/2 作者：Larsen、 David G.、Rony、 Peter R.、 joint author.、Titus、 Jonathan A.、 joint author.、出版社：Virginia Derby, Conn. : E & L Instruments, 1974.		The bugbook I : Logic & Memory experiments m 0 索取号：TN6/E801/1 作者：Larsen、 David G.、Rony、 Peter R.、 joint author.、Titus、 Jonathan A.、 joint author.、出版社：Virginia Derby, Conn. : E & L Instruments, 1974.
	Digital system design with LSI bit-slice logic 0 索取号：TN47/E9039 作者：Myers、 Glenford J.、 1946-、出版社：New York : Wiley, 1980.		Proceedings, the Eighteenth International Symposium on Multiple-Valued Logic [electronic resource] : May 24-26, 1988, Palma de Mallorca, Spain 0 索取号：TP331.1-53/E901/18 作者：International Symposium on Multiple-Valued Logic (18th : 1988 : Palma、 Spain)、IEEE Xplore (Online service)、IEEE Computer Society.、出版社：Washington, DC : IEEE Computer Society Press ; Los Angeles, CA : order from IEEE Computer Society, c1988.
	Digital logic circuit analysis and design 0 索取号：TN79/E991 作者：出版社：Beijing Tsinghua University Press 1998		14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy 0 索取号：TP301-53/E991/14 作者：Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif : IEEE Computer Society Press, c1999.
	Discovering formal logic 0 索取号：O14/E991 作者：Wu、 Kathleen Johnson.、出版社：Guilford, Conn. : Dushkin Pub. Group, c1994.		Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings 0 索取号：TP302.2-532/E20011/1999 作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、出版社：Berlin ; New York : Springer, c1999.
	Logic in computer science : modelling and reasoning about systems 0 索取号：TP301/E991 作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、出版社：New York : Cambridge University Press, 1999.		Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana 0 索取号：TP301-53/E991/13 作者：Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、出版社：Los Alamitos, California : IEEE Computer Society Press, c1998.
	Fuzzy-logic-based programming 0 索取号：TP311.11/E20011 作者：Chang、 Chin-Liang.、Chang、 Chin-Liang、出版社：Singapore : World Scientific, c1997.		Fuzzy logic control : advances in applications 0 索取号：TP273/E991 作者：出版社：Singapore ; River Edge, NJ : World Scientific, 1999.
	A course in mathematical logic 0 索取号：O14/E802 作者：Bell、 J. L. (John Lane)、Machover、 Mosh́Е、 joint author.、出版社：Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977.		Logic-based decision support : mixed integer model formulation 0 索取号：O158/E902 作者：Jeroslow、 Robert G.、 1942-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.

	Digital logic : applications and design = 数字逻辑 : 应用与设计 0 索取号：TP331.1/E20021 作者：Yarbrough、 John M.、出版社：北京 : 机械工业出版社, 2002.		Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark,July 29-August 1, 2002 : proceedings 0 索取号：TP311.1-532/E20031/18 作者：International Conference on Logic Programming (18th : 2002 : University of Copenhagen)、Stuckey、 Peter J.、Federated Logic Conference (3rd : 2002: Copenhagen、 Denmark)、出版社：Berlin ; London : Springer, c2002.
	The bugbook II : Logic & Memory experiments m 0 索取号：TN6/E801/2 作者：Larsen、 David G.、Rony、 Peter R.、 joint author.、Titus、 Jonathan A.、 joint author.、出版社：Virginia Derby, Conn. : E & L Instruments, 1974.		The bugbook I : Logic & Memory experiments m 0 索取号：TN6/E801/1 作者：Larsen、 David G.、Rony、 Peter R.、 joint author.、Titus、 Jonathan A.、 joint author.、出版社：Virginia Derby, Conn. : E & L Instruments, 1974.
	Digital system design with LSI bit-slice logic 0 索取号：TN47/E9039 作者：Myers、 Glenford J.、 1946-、出版社：New York : Wiley, 1980.		Proceedings, the Eighteenth International Symposium on Multiple-Valued Logic [electronic resource] : May 24-26, 1988, Palma de Mallorca, Spain 0 索取号：TP331.1-53/E901/18 作者：International Symposium on Multiple-Valued Logic (18th : 1988 : Palma、 Spain)、IEEE Xplore (Online service)、IEEE Computer Society.、出版社：Washington, DC : IEEE Computer Society Press ; Los Angeles, CA : order from IEEE Computer Society, c1988.
	Digital logic circuit analysis and design 0 索取号：TN79/E991 作者：出版社：Beijing Tsinghua University Press 1998		14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy 0 索取号：TP301-53/E991/14 作者：Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif : IEEE Computer Society Press, c1999.
	Discovering formal logic 0 索取号：O14/E991 作者：Wu、 Kathleen Johnson.、出版社：Guilford, Conn. : Dushkin Pub. Group, c1994.		Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings 0 索取号：TP302.2-532/E20011/1999 作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、出版社：Berlin ; New York : Springer, c1999.
	Logic in computer science : modelling and reasoning about systems 0 索取号：TP301/E991 作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、出版社：New York : Cambridge University Press, 1999.		Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana 0 索取号：TP301-53/E991/13 作者：Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、出版社：Los Alamitos, California : IEEE Computer Society Press, c1998.
	Fuzzy-logic-based programming 0 索取号：TP311.11/E20011 作者：Chang、 Chin-Liang.、Chang、 Chin-Liang、出版社：Singapore : World Scientific, c1997.		Fuzzy logic control : advances in applications 0 索取号：TP273/E991 作者：出版社：Singapore ; River Edge, NJ : World Scientific, 1999.
	A course in mathematical logic 0 索取号：O14/E802 作者：Bell、 J. L. (John Lane)、Machover、 Mosh́Е、 joint author.、出版社：Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977.		Logic-based decision support : mixed integer model formulation 0 索取号：O158/E902 作者：Jeroslow、 Robert G.、 1942-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.