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

Logic design principles : with emphasis on testable semicustom circuits

0
索取号：TP302/E906
作者：McCluskey、 Edward J.、 1929-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1986.

Logic design and simulation

0
索取号：TP302/E903
作者：
出版社：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., 1986.

Digital logic and microprocessors

0
索取号：TP302/E9011
作者：Hill、 Fredrick J.、Peterson、 Gerald R.、
出版社：New York : Wiley, 1984.

Digital logic design

0
索取号：TP302/E908
作者：Holdsworth、 B. (Brian)、
出版社：London ; Boston : Butterworths, 1982.

Modern logic design

0
索取号：TP302/E907
作者：Green、 David、 1941-、
出版社：Workingham, England ; Reading, Mass. : Addison-Wesley, 1986.

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.

Proceedings, the Sixth Annual IEEE Symposium on Logic in Computer Science [electronic resource] : July 15-18, 1991, Amsterdam, the Netherlands

0
索取号：TP301-53/E991/6
作者：Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.

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.

Handbook of logic in computer science

0
索取号：TP3/E9913
作者：
出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<1995 >

Handbook of logic in artificial intelligence and logic programming

0
索取号：TP18-62/E992
作者：
出版社：Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-1998.

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

0
索取号：TP18/E9918
作者：
出版社：Chichester ; New York : John Wiley & Sons Wiley, 1991.

Logic for problem solving

0
索取号：TP11-51/E801
作者：Kowalski、 Robert.、
出版社：New York : Elsevier North Holland, 1979.

Logic for applications = 应用逻辑

0
索取号：TP301/E20071.2
作者：Nerode、 Anil、 1932-、Shore、 Richard A.、 1946-、
出版社：北京 : China Machine Press, 2006.

Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic = 数字逻辑设计(VHDL)基础

0
索取号：TP33/E20071
作者：Brown、 Stephen D.、Vranesic、 Zvonko G.、
出版社：北京 : 机械工业出版社 ; McGraw-Hill Education (Asia) Co., 2002.

Temporal logic and temporal logic programming

0
索取号：TP311.11/E20071
作者：Duan、 Zhenhua.、
出版社：Beijing : Science Press, 2005.

Words without objects : semantics, ontology, and logic for non-singularity

0
索取号：B085/E20072
作者：Laycock、 Henry.、
出版社：Oxford : Oxford University Press, 2006.