yr 〜
yr

Search results 32

A computational logic / Robert S. Boyer and J Strother Moore. (ACM monograph series)

A computational logic / Robert S. Boyer and J Strother Moore. (ACM monograph series)
Paper図書
Academic Pressc1979.<M159-123>
National Diet Library

Formal languages. (ACM monograph series)

Formal languages. (ACM monograph series)
Paper図書
Academic Press1973.<MA41-75>
National Diet LibraryOther Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Mathematical software. Edited by John R. Rice. (ACM monograph series)

Mathematical software. Edited by John R. Rice. (ACM monograph series)
Paper図書
Academic Press1971.<MA251-62>
National Diet Library

Visual prosthesis; the interdisciplinary dialogue: proceedings. Edited by T. D. Sterling [and others]. (ACM monograph series)

Visual prosthesis; the interdisciplinary dialogue: proceedings. Edited by T. D. Sterling [and others]. (ACM monograph series)
Paper図書
Academic Press1971.<SC631-14>
National Diet Library
  • Title HeadingACM monograph series.

University education in computing science; proceedings. Edited by Aaron Finerman. (ACM monograph series)

University education in computing science; proceedings. Edited by Aaron Finerman. (ACM monograph series)
Paper図書
Academic Press1968.<M151-4>
National Diet Library
  • Title HeadingACM monograph series.

GPS: a case study in generality and problem solving [by] George W. Ernst [and] Allen Newell. (ACM monograph series)

GPS: a case study in generality and problem solving [by] George W. Ernst [and] Allen Newell. (ACM monograph series)
Paper図書
Academic Press1969.<M121-34>
National Diet Library

Decision-making processes in pattern recognition. (ACM monograph series)

Decision-making processes in pattern recognition. (ACM monograph series)
Paper図書
Macmillan[1962]<501-S443d>
National Diet LibraryOther Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Large-capacity memory techniques for computing systems; [proceedings) Based on the symposium sponsored by the Information Systems Branch. Edited by Marshall C. Yovits. (ACM monograph series)

Large-capacity memory techniques for computing systems; [proceedings) Based on the symposium sponsored by the Information Systems Branch. Edited by Marshall C. Yovits. (ACM monograph series)
Paper図書
Macmillan[1962]<510.78-S989l>
National Diet Library

Computer chess / Monroe Newborn. (A.C.M. monograph series)

Computer chess / Monroe Newborn. (A.C.M. monograph series)
Paper図書
Academic Press1975.<KD958-10>
National Diet Library
  • Title HeadingACM monograph series.

History of programming languages

History of programming languages
Paper図書
edited by Richard L. WexelblatAcademic Press1981
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

A general theory of optimal algorithms

A general theory of optimal algorithms
Paper図書
J. F. Traub, H. WoźniakowskiAcademic Press1980
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Computer security

Computer security
Paper図書
David K. Hsiao, Douglas S. Kerr, Stuart E. MadnickAcademic Press1979
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

A computational logic

A computational logic
Paper図書
Robert S. Boyer and J. Strother MooreAcademic Pressc1979
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Decomposability : queueing and computer system applications

Decomposability : queueing and computer system applications
Paper図書
P. J. CourtoisAcademic Press1977
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University
Paper図書
edited by Anita K. JonesAcademic Press1977
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Decision table languages and systems

Decision table languages and systems
Paper図書
John R. Metzner, Bruce H. BarnesAcademic Press1977
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Foundations of microprogramming : architecture, software, and applications

Foundations of microprogramming : architecture, software, and applications
Paper図書
Ashok K. Agrawala, Tomlinson G. RauscherAcademic Press1976
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Computer chess

Computer chess
Paper図書
Monroe NewbornAcademic Press1975
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Logic design : a review of theory and practice

Logic design : a review of theory and practice
Paper図書
[by] Glen G. Langdon, JrAcademic Press1974
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series

Theory and application of a bottom-up syntax-directed translator

Theory and application of a bottom-up syntax-directed translator
Paper図書
Harvey AbramsonAcademic Press1973
Other Libraries in Japan
  • Related MaterialACM monograph series
  • Periodical TitleACM monograph series