Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
Books
Algebraic theory of automata / Abraham Ginzburg.
Author / Creator:Ginzburg, Abraham.
Publisher:New York : Academic Press, 1968.
Date:1968.
Call Numbers:T0298482
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
Books
Cellular automata / [by] E. F. Codd.
Author / Creator:Codd, E. F.
Publisher:New York : Academic Press, 1968.
Date:1968.
Call Numbers:T0300664
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
Books
Computer chess / Monroe Newborn.
Author / Creator:Newborn, Monroe.
Publisher:New York : Academic Press, 1975.
Date:1975.
Call Numbers:N794.17/2
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
Books
A computational logic / Robert S. Boyer and J. Strother Moore.
Author / Creator:Boyer, Robert S.
Publisher:New York : Academic Press, c1979.
Call Numbers:T0255905
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
Books
Foundations of microprogramming : architecture, software, and applications / Ashok K. Agrawala, Tomlinson G. Rauscher.
Author / Creator:Agrawala, Ashok K.
Publisher:New York : Academic Press, 1976.
Date:1976.
Call Numbers:T0150953
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
Books
Computer security / David K. Hsiao, Douglas S. Kerr, Stuart E. Madnick.
Author / Creator:Hsiao, David K., 1933-
Publisher:New York : Academic Press, 1979.
Date:1979.
Call Numbers:T0314972
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
Books
History of programming languages / edited by Richard L. Wexelblat.
Author / Creator:History of Programming Languages Conference (1978 : Los Angeles, Calif.)
Publisher:New York : Academic Press, 1981.
Date:1981.
Call Numbers:TQ062069
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
Books
LYaPAS : a programming language for logic and coding algorithms / edited by M.A.Gavrilov and A.D.Zakrevskii ; Translated by Morton Nadler.
Author / Creator:Gavrilov, M. A.
Publisher:New York : Academic, 1969.
Date:1969.
Call Numbers:T0310436
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
Books
Mathematical software : based on the proceedings of the Mathematical Software Symposium held at Purdue University, Lafayette, Indiana, April 1-3,1970. / edited by John R. Rice.
Author / Creator:Mathematical Software Symposium (1970 : Purdue University)
Publisher:New York : Academic Press, 1971.
Date:1971.
Call Numbers:T0256777
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
Books
Large-capacity memory techniques for computing systems : based on the symposium sponsored by the Information Systems Branch / edited by Marshall C. Yovits.
Author / Creator:Symposium on Large-Capacity Memory Techniques for Computing Systems (1961 : Washington D.C.)
Publisher:New York : Macmillan, 1962.
Date:1962.
Call Numbers:T0254964
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
Books
Formal languages / Arto Salomaa.
Author / Creator:Salomaa, Arto.
Publisher:New York : Academic Press, 1973.
Date:1973.
Call Numbers:T0257003
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
ReviewsFull Text
Computer Security. ACM Monograph Series
Author / Creator:Konheim, Alan G.
Publisher:Sigma Xi Scientific Research Society
Journal title:American scientist, 1980, Vol.68 (6), p.706-706
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
ArticlesPeer ReviewedFull Text
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handb...
Author / Creator:Miller, Dale
Journal title:The Journal of symbolic logic, 1990-09, Vol.55 (3), p.1302-1304
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
ArticlesPeer ReviewedFull Text
Software: History of Programming Languages . Papers from a conference, June 1978. Richard L. Wexelblat, Ed. Academic Press, New York, 1981. xxiv, 760 pp., illus. $45. ACM Monograph Series
Author / Creator:Randell, Brian
Journal title:Science (American Association for the Advancement of Science), 1981-10, Vol.214 (4519), p.431-431
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
ArticlesPeer ReviewedFull Text
Arto Salomaa. Formal languages. ACM monograph series. Academic Press, New York, San Francisco, and London, 1973, xiii + 322 pp
Author / Creator:Blikle, Andrzej
Journal title:The Journal of symbolic logic, 1977-12, Vol.42 (4), p.583-584
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.

Search the collection

Export record to excel

Export this record

Export record to excel

Algebraic theory of automata / Abraham Ginzburg.

Export this record

Export record to excel

Cellular automata / [by] E. F. Codd.

Export this record

Export record to excel

Computer chess / Monroe Newborn.

Export this record

Export record to excel

A computational logic / Robert S. Boyer and J. Strother Moore.

Export this record

Export record to excel

Foundations of microprogramming : architecture, software, and applications / Ashok K. Agrawala, Tomlinson G. Rauscher.

Export this record

Export record to excel

Computer security / David K. Hsiao, Douglas S. Kerr, Stuart E. Madnick.

Export this record

Export record to excel

History of programming languages / edited by Richard L. Wexelblat.

Export this record

Export record to excel

LYaPAS : a programming language for logic and coding algorithms / edited by M.A.Gavrilov and A.D.Zakrevskii ; Translated by Morton Nadler.

Export this record

Export record to excel

Mathematical software : based on the proceedings of the Mathematical Software Symposium held at Purdue University, Lafayette, Indiana, April 1-3,1970. / edited by John R. Rice.

Export this record

Export record to excel

Large-capacity memory techniques for computing systems : based on the symposium sponsored by the Information Systems Branch / edited by Marshall C. Yovits.

Export this record

Export record to excel

Formal languages / Arto Salomaa.

Export this record

Export record to excel

Computer Security. ACM Monograph Series

Export this record

Export record to excel

Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handb...

Export this record

Export record to excel

Software: History of Programming Languages . Papers from a conference, June 1978. Richard L. Wexelblat, Ed. Academic Press, New York, 1981. xxiv, 760 pp., illus. $45. ACM Monograph Series

Export this record

Export record to excel

Arto Salomaa. Formal languages. ACM monograph series. Academic Press, New York, San Francisco, and London, 1973, xiii + 322 pp

Refine your search