大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.