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

Structure, logic, and program design

0
索取号:TP33/E905
作者:Cohen、 Alan.、
出版社:Chichester [West Sussex] ; New York : Wiley, 1983.

Digital computer circuits and concepts

0
索取号:TP33/E806
作者:Deem、 Bill R.、Muchow、 Kenneth、 joint author.、Zeppa、 Anthony、 joint author.、
出版社:Reston, Va. : Reston Pub. Co., 1977.

Digital integrated circuits : a design perspective

0
索取号:TN431.202/E991
作者:Rabaey、 Jan M.、
出版社:Beijing : Tsinghua University Press, c1999.

Equational logic as a programming language

0
索取号:TP312/E9027
作者:O'Donnell、 Michael J.、 1952-、
出版社:London Cambridge, Mass. : MIT Press, 1985.

Algorithmic logic

0
索取号:TP312/E90112
作者:Mirkowska-Salwicka、 Grazyna.、Salwicki、 Andrzej.、
出版社:Dordrecht ; Boston : D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1987.

Prolog versus you : an introduction to logic programming

0
索取号:TP312/E902
作者:Johansson、 Anna-Lena、 1951-、Eriksson-Granskog、 Agneta、 1957-、Edman、 Anneli、 1952-、
出版社:Berlin ; New York : Springer-Verlag, 1989.

Constraint satisfaction in logic programming

0
索取号:TP311/E906
作者:Van Hentenryck、 Pascal.、
出版社:Cambridge, Mass. : MIT Press, 1989.

Parallel logic programming techniques

0
索取号:TP311/E905
作者:Taylor、 Stephen、 1956-、
出版社:Englewood Cliffs, N.J. : Prentice Hall, 1989.

Parallel logic programming

0
索取号:TP311/E9952
作者:Tick、 Evan、 1959-、
出版社:Cambridge, Mass. : MIT Press, 1991.

Logic programming : systematic program development

0
索取号:TP311/E998
作者:Deville、 Yves、 1960-、
出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1990.

Logic programming and databases

0
索取号:TP311/E999
作者:Ceri、 Stefano、 1955-、Gottlob、 G. (Georg)、Tanca、 L. (Letizia)、
出版社:Berlin ; New York : Springer-Verlag, 1990.

Programming language implementation and logic programming : international workshop PLILP '90, Link̈Оping, Sweden, August 20-22, 1990 : proceedings

0
索取号:TP31-53/E991/1990
作者:PLILP '90 (1990 : Link̈Оping、 Sweden)、Deransart、 Pierre.、MałУszýНski、 J. (Jan)、 1941-、
出版社:Berlin ; New York : Springer-Verlag, 1990.

Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

0
索取号:TP31-53/E9011/8
作者:Logic Programming Conference (8th : 1989 : Tokyo、 Japan)、Furukawa、 K̄Оichi.、Tanaka、 H. (Hazumi)、Fujisaki、 T. (Tetsunosuke)、
出版社:Berlin ; New York : Springer, 1991.

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987

0
索取号:TP31-53/E9011/6
作者:
出版社:Berlin ; New York : Springer-Verlag, 1988.

Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985

0
索取号:TP31-53/E9011/4
作者:
出版社:Berlin ; New York : Springer-Verlag, 1986.

Modern guide to digital logic : processors, memories & interfaces

0
索取号:TP331.1-62/E802
作者:United Technical Publications.、
出版社:Blue Ridge Summit, Pa. : G/L Tab Books, 1976.