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

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

	Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005 0 索取号：TP301-53/E991/20 作者：IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.		Introduction to fuzzy logic using MATLAB 0 索取号：O231/E20071 作者：Sivanandam、 S. N.、Sumathi、 S.、Deepa、 S. N.、出版社：Berlin ; New York : Springer, c2007.
	Logic and contemporary rhetoric : the use of reason in everyday life 0 索取号：B812.23/E20071 作者：Kahane、 Howard、 1928-、Cavender、 Nancy.、出版社：Australia ; Belmont, CA ; Thomson/Wadsworth, c2006.		Proceedings of the 19th annual IEEE symposium onlogic in computer science : Turku, Finland, 13-17July 2004 0 索取号：TP301-53/E991/19 作者：IEEE Symposium on Logic in Computer Science (19th : 2004 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.
	Contemporary logic design = 现代逻辑设计 0 索取号：TP302.2/E20061.2 作者：Katz、 Randy H.、 1955-、Borriello、 Gaetano.、出版社：Beijing : Publishing House of Electronics Industry, 2005.		Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers 0 索取号：TP311-532/E20061/14 作者：LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、出版社：Berlin ; New York : Springer, c2005.
	Extensions of first order logic 0 索取号：O141/E20061 作者：Manzano、 Mar?ia.、出版社：Cambridge ; New York : Cambridge University Press, 2005.		Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑系统建模与推理 0 索取号：TP301/E991.2-2 作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、出版社：北京 : China Machine Press, 2005.
	Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada 0 索取号：TP301-53/E991/18 作者：Symposium on Logic in Computer Science (18th : 2003 : Ottawa、 Canada)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2003.		Fundamentals of programmable logic controllers, sensors, and communications 0 索取号：TP273/E20051.3 作者：Stenerson、 Jon.、出版社：Upper Saddle River, N.J. : Pearson Prentice Hall, c2004.
	Logic in computer science [electronic resource] : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark 0 索取号：TP301-53/E991/17 作者：Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2002.		Fundamentals of logic design = 逻辑设计基础 0 索取号：TP331.1/E20041.5 作者：Roth、 Charles H.、出版社：北京 : China Machine Press, 2003.
	VHDL design representation and synthesis = VHDL设计、表示和综合 0 索取号：TP312/E20049.2 作者：Armstrong、 James R.、 1939-、Gray、 F. Gail.、Armstrong、 James R.、 1939- Structured logic design with VHDL.、出版社：北京 : China Machine Press, 2003.		Fuzzy logic in management 0 索取号：C93/E20045 作者：Carlsson、 C. (Christer)、 1946-、Fedrizzi、 Mario、 1949-、Full·Œr Robert、 1958-、出版社：Boston : Kluwer Academic, c2004.
	Design of interconnection networks for programmable logic 0 索取号：TP302/E20041 作者：Lemieux、 Guy.、Lewis、 David.、出版社：Boston : Kluwer Academic, c2004.		The logic of liberal rights : a study in the formal analysis of legal discourse 0 索取号：D082/E20041 作者：Heinze、 Eric.、出版社：London ; New York : Routledge, 2003.

	Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005 0 索取号：TP301-53/E991/20 作者：IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.		Introduction to fuzzy logic using MATLAB 0 索取号：O231/E20071 作者：Sivanandam、 S. N.、Sumathi、 S.、Deepa、 S. N.、出版社：Berlin ; New York : Springer, c2007.
	Logic and contemporary rhetoric : the use of reason in everyday life 0 索取号：B812.23/E20071 作者：Kahane、 Howard、 1928-、Cavender、 Nancy.、出版社：Australia ; Belmont, CA ; Thomson/Wadsworth, c2006.		Proceedings of the 19th annual IEEE symposium onlogic in computer science : Turku, Finland, 13-17July 2004 0 索取号：TP301-53/E991/19 作者：IEEE Symposium on Logic in Computer Science (19th : 2004 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.
	Contemporary logic design = 现代逻辑设计 0 索取号：TP302.2/E20061.2 作者：Katz、 Randy H.、 1955-、Borriello、 Gaetano.、出版社：Beijing : Publishing House of Electronics Industry, 2005.		Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers 0 索取号：TP311-532/E20061/14 作者：LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、出版社：Berlin ; New York : Springer, c2005.
	Extensions of first order logic 0 索取号：O141/E20061 作者：Manzano、 Mar?ia.、出版社：Cambridge ; New York : Cambridge University Press, 2005.		Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑系统建模与推理 0 索取号：TP301/E991.2-2 作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、出版社：北京 : China Machine Press, 2005.
	Proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada 0 索取号：TP301-53/E991/18 作者：Symposium on Logic in Computer Science (18th : 2003 : Ottawa、 Canada)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2003.		Fundamentals of programmable logic controllers, sensors, and communications 0 索取号：TP273/E20051.3 作者：Stenerson、 Jon.、出版社：Upper Saddle River, N.J. : Pearson Prentice Hall, c2004.
	Logic in computer science [electronic resource] : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark 0 索取号：TP301-53/E991/17 作者：Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2002.		Fundamentals of logic design = 逻辑设计基础 0 索取号：TP331.1/E20041.5 作者：Roth、 Charles H.、出版社：北京 : China Machine Press, 2003.
	VHDL design representation and synthesis = VHDL设计、表示和综合 0 索取号：TP312/E20049.2 作者：Armstrong、 James R.、 1939-、Gray、 F. Gail.、Armstrong、 James R.、 1939- Structured logic design with VHDL.、出版社：北京 : China Machine Press, 2003.		Fuzzy logic in management 0 索取号：C93/E20045 作者：Carlsson、 C. (Christer)、 1946-、Fedrizzi、 Mario、 1949-、Full·Œr Robert、 1958-、出版社：Boston : Kluwer Academic, c2004.
	Design of interconnection networks for programmable logic 0 索取号：TP302/E20041 作者：Lemieux、 Guy.、Lewis、 David.、出版社：Boston : Kluwer Academic, c2004.		The logic of liberal rights : a study in the formal analysis of legal discourse 0 索取号：D082/E20041 作者：Heinze、 Eric.、出版社：London ; New York : Routledge, 2003.