yr 〜
yr

Search results 49

Advances in computer technology, 1980 : presented at the International Computer Technology Conference, ASME Century 2--Emerging Technology Conferences, San Francisco, California, August 12-15, 1980 / sponsored by the Computer Technology Committee, ASME ; edited by Ali Seireg. (A Century 2 publication)

Advances in computer technology, 1980 : presented at the International Computer Technology Conference, ASME Century 2--Emerging Technology Conferences, San Francisco, California, August 12-15, 1980 / sponsored by the Computer Technology Committee, ASME ; edited by Ali Seireg. (A Century 2 publication)
Paper図書
American Society of Mechanical Engineersc1980-<M15-A4971>
National Diet Library
  • DDC001.6/4

Computers and social change / Murray Laver. (Cambridge computer science texts ; 10)

Computers and social change / Murray Laver. (Cambridge computer science texts ; 10)
Paper図書
Cambridge University Press1980.<M154-A1>
National Diet Library
  • DDC001.6/4

Architecture of distributed computer systems / Gregor v. Bochmann. (Lecture notes in computer science ; 77)

Architecture of distributed computer systems / Gregor v. Bochmann. (Lecture notes in computer science ; 77)
Paper図書
Springer-Verlag1979.<M154-157>
National Diet Library
  • DDC001.6/4

Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 / edited by D. Lanciaux.

Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 / edited by D. Lanciaux.
Paper図書
North-Holland Pub. Co.1979.<M159-160>
National Diet Library
  • DDC001.6/4

Foundations of secure computation / edited by Richard A. DeMillo ... [et al.].

Foundations of secure computation / edited by Richard A. DeMillo ... [et al.].
Paper図書
Academic Press1978.<M154-240>
National Diet Library
  • DDC001.6/4

Advances in computer technology, 1980 : presented at the International Computer Technology Conference, ASME Century 2--Emerging Technology Conferences, San Francisco, California, August 12-15, 1980 / sponsored by the Computer Technology Committee, ASME ; edited by Ali Seireg. (A Century 2 publication)

Advances in computer technology, 1980 : presented at the International Computer Technology Conference, ASME Century 2--Emerging Technology Conferences, San Francisco, California, August 12-15, 1980 / sponsored by the Computer Technology Committee, ASME ; edited by Ali Seireg. (A Century 2 publication)
Paper図書
American Society of Mechanical Engineers[1980]<M154-215>
National Diet Library
  • DDC001.6/4

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)
Paper図書
Springer-Verlag1979.<MA41-167>
National Diet Library
  • DDC510/.8 s 001.6/4

The information age / William S. Davis, Allison McCormack.

The information age / William S. Davis, Allison McCormack.
Paper図書
Addison-Wesley Pub. Co.c1979.<M154-135>
National Diet Library
  • DDC001.6/4

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn. (Lecture notes in computer science ; 70)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn. (Lecture notes in computer science ; 70)
Paper図書
Springer-Verlag1979.<M159-100>
National Diet Library
  • DDC001.6/4

Natural language communication with computers / edited by Leonard Bolc. (Lecture notes in computer science ; 63)

Natural language communication with computers / edited by Leonard Bolc. (Lecture notes in computer science ; 63)
Paper図書
Springer-Verlag1978.<UL47-8>
National Diet Library
  • DDC001.6/4

High speed computer and algorithm organization : [proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977] / edited by David J. Kuck, Duncan H. Lawrie, Ahmed H. Sameh.

High speed computer and algorithm organization : [proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977] / edited by David J. Kuck, Duncan H. Lawrie, Ahmed H. Sameh.
Paper図書
Academic Press1977.<M157-18>
National Diet Library
  • DDC001.6/4

Data base architecture : proceedings of the IFIP Working Conference on Data Base Architecture, Venice, Italy, 26-29 June 1979 / edited by G. Bracchi, G. M. Nijssen.

Data base architecture : proceedings of the IFIP Working Conference on Data Base Architecture, Venice, Italy, 26-29 June 1979 / edited by G. Bracchi, G. M. Nijssen.
Paper図書
North-Holland Pub. Co.1979.<M154-211>
National Diet Library
  • DDC001.6/4

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. (Lecture notes in computer science ; v. 73)

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. (Lecture notes in computer science ; v. 73)
Paper図書
Springer-Verlag1979.<MA81-246>
National Diet Library
  • DDC001.6/4

Computers, automation, and society / Edward J. Laurie. (The Irwin series in information and decision sciences)

Computers, automation, and society / Edward J. Laurie. (The Irwin series in information and decision sciences)
Paper図書
R. D. Irwin1979.<M151-59>
National Diet Library
  • DDC001.6/4

Microprocessors and their applications : fifth Euromicro Symposium on Microprocessing and Microprogramming, Aug. 28-30, 1979, Göteborg / edited by Jacques Tiberghien, Gunnar Carlstedt, Johan Lewi ; organized by Euromicro, with the support of the Commission of the European Communities ... [et al.], and the cooperation of E.C.I. ... [et al.].

Microprocessors and their applications : fifth Euromicro Symposium on Microprocessing and Microprogramming, Aug. 28-30, 1979, Göteborg / edited by Jacques Tiberghien, Gunnar Carlstedt, Johan Lewi ; organized by Euromicro, with the support of the Commission of the European Communities ... [et al.], and the cooperation of E.C.I. ... [et al.].
Paper図書
North-Holland Pub. Co.c1979.<M164-16>
National Diet Library
  • DDC001.6/4

Introduction aux techniques d'évaluation et de mesure des systèmes informatiques / par Alain Sarzotti ; préf. de Michel Monpetit.

Introduction aux techniques d'évaluation et de mesure des systèmes informatiques / par Alain Sarzotti ; préf. de Michel Monpetit.
Paper図書
Eyrolles1977.<M157-11>
National Diet Library
  • DDC001.6/4

Computer science and scientific computing : proceedings of the Third ICASE Conference on Scientific Computing, Williamsburg, Virginia April 1 and 2, 1976 / edited by James M. Ortega.

Computer science and scientific computing : proceedings of the Third ICASE Conference on Scientific Computing, Williamsburg, Virginia April 1 and 2, 1976 / edited by James M. Ortega.
Paper図書
Academic Press1976.<M151-65>
National Diet LibraryOther Libraries in Japan
  • DDC001.6/4

Information technology : proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), August 6-9, 1978 / edited by Josef Moneta.

Information technology : proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), August 6-9, 1978 / edited by Josef Moneta.
Paper図書
North-Holland Pub. Co.1978.<M151-66>
National Diet Library
  • DDC001.6/4

Modeling and analysis : an introduction to system performance evaluation methodology / Hisashi Kobayashi. (The Systems programming series)

Modeling and analysis : an introduction to system performance evaluation methodology / Hisashi Kobayashi. (The Systems programming series)
Paper図書
Addison-Wesley Pub. Co.c1978.<MA216-144>
National Diet LibraryOther Libraries in Japan
  • DDC001.6/4

Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 / edited by A. Blaser and C. Hackl. (Lecture notes in computer science ; 49)

Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 / edited by A. Blaser and C. Hackl. (Lecture notes in computer science ; 49)
Paper図書
Springer-Verlag1977.<M154-98>
National Diet Library
  • DDC001.6/4