Jump to main content

yr 〜
yr

Search results 33

Data structures and their implementation / Robert J. Baron, Linda G. Shapiro.

Data structures and their implementation / Robert J. Baron, Linda G. Shapiro.
Paper図書
Van Nostrand Reinhold Co.c1980.<M154-191>
National Diet Library
  • DDC001.6/42

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer. (Lecture notes in computer science ; 71)

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer. (Lecture notes in computer science ; 71)
Paper図書
Springer-Verlag1979.<M159-99>
National Diet Library
  • DDC001.6/42

Software development : a rigorous approach / Cliff B. Jones.

Software development : a rigorous approach / Cliff B. Jones.
Paper図書
Prentice/Hall Internationalc1980.<M159-A35>
National Diet Library
  • DDC001.6/42

Specifications of reliable software : proceedings.

Specifications of reliable software : proceedings.
Paper図書
IEEE Computer Societyc1979.<M159-94>
National Diet LibraryOther Libraries in Japan
  • DDC001.6/42

Methodology in computer graphics : Seillac I : IFIP Workshop on Methodology in Computer Graphics, Seillac, France, May 1976 / edited by Richard A. Guedj and Hugh A. Tucker ; organized by IFIP Working Group 5.2, CAD, International Federation for Information Processing.

Methodology in computer graphics : Seillac I : IFIP Workshop on Methodology in Computer Graphics, Seillac, France, May 1976 / edited by Richard A. Guedj and Hugh A. Tucker ; organized by IFIP Working Group 5.2, CAD, International Federation for Information Processing.
Paper図書
North-Holland Pub. Co.1979.<M154-212>
National Diet Library
  • DDC001.6/42

Software engineering / Randall W. Jensen and Charles C. Tonies.

Software engineering / Randall W. Jensen and Charles C. Tonies.
Paper図書
Prentice-Hallc1979.<M159-97>
National Diet Library
  • DDC001.6/42

Performance of computer installations : evaluation and management : proceedings of the International Conference on the Performance of Computer Installations, ICPCI 78, June 22-23, 1978, Gardone Riviera, Lake Garda, Italy / edited by Domenico Ferrari ; sponsoring organisations, Consorzio interuniversitario lombardo per l'elaborazione automatica (Lombard Interuniversity Computing Center) ... [et al.], conference sponsor, Sperry Univac, Italy ; conference chairman, Ivo De Lotto.

Performance of computer installations : evaluation and management : proceedings of the International Conference on the Performance of Computer Installations, ICPCI 78, June 22-23, 1978, Gardone Riviera, Lake Garda, Italy / edited by Domenico Ferrari ; sponsoring organisations, Consorzio interuniversitario lombardo per l'elaborazione automatica (Lombard Interuniversity Computing Center) ... [et al.], conference sponsor, Sperry Univac, Italy ; conference chairman, Ivo De Lotto.
Paper図書
North-Holland Pub. Co.1978.<M154-201>
National Diet Library
  • DDC001.6/42

Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy. (Lecture notes in computer science ; 69)

Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy. (Lecture notes in computer science ; 69)
Paper図書
Springer-Verlag1979.<M159-98>
National Diet Library
  • DDC001.6/42

A comparative study of very large data bases / Edward Hill, Jr. (Lecture notes in computer science ; 59)

A comparative study of very large data bases / Edward Hill, Jr. (Lecture notes in computer science ; 59)
Paper図書
Springer-Verlag1978.<UL41-71>
National Diet Library
  • DDC001.6/42

Logic and data bases / edited by Hervé Gallaire and Jack Minker.

Logic and data bases / edited by Hervé Gallaire and Jack Minker.
Paper図書
Plenum Pressc1978.<M154-137>
National Diet Library
  • DDC001.6/42

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. (Lecture notes in computer science ; 52)

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. (Lecture notes in computer science ; 52)
Paper図書
Springer-Verlag1977.<M159-62>
National Diet Library
  • DDC001.6/42

Software engineering : proceedings of a symposium held at the Queen's University of Belfast, 1976 / edited by R. H. Perrott. (A.P.I.C. studies in data processing ; no. 14)

Software engineering : proceedings of a symposium held at the Queen's University of Belfast, 1976 / edited by R. H. Perrott. (A.P.I.C. studies in data processing ; no. 14)
Paper図書
Academic Press1977.<M159-161>
National Diet Library
  • DDC001.6/42

Database technology.

Database technology.
Paper図書
Online Conferences Limited1976.<M154-120>
National Diet Library
  • DDC001.6/42

Les fondements de la programmation : cours de la Commission des communautés européennes, Toulouse, du 9 au 16 décembre 1977 / réalisé par M. Amirchahy et D. Néel.

Les fondements de la programmation : cours de la Commission des communautés européennes, Toulouse, du 9 au 16 décembre 1977 / réalisé par M. Amirchahy et D. Néel.
Paper図書
Institut de recherche d'informatique et d'automatique[1977?]<M159-192>
National Diet Library
  • DDC001.6/42

Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus et al.]. (Lecture notes in computer science ; 55)

Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus et al.]. (Lecture notes in computer science ; 55)
Paper図書
Springer-Verlag1977.<M159-71>
National Diet Library
  • DDC001.6/42

Language hierarchies and interfaces : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and K. Samelson. (Lecture notes in computer science ; 46)

Language hierarchies and interfaces : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and K. Samelson. (Lecture notes in computer science ; 46)
Paper図書
Springer-Verlag1976.<M159-60>
National Diet Library
  • DDC001.6/42

Microprogramming : a tutorial on the Queen Mary, May 17, 1975 / tutorial speakers, J. Michael Galey, Richard L. Kleir ; sponsored by the IEEE Computer Society.

Microprogramming : a tutorial on the Queen Mary, May 17, 1975 / tutorial speakers, J. Michael Galey, Richard L. Kleir ; sponsored by the IEEE Computer Society.
Paper図書
The Society[c1975]<M159-48>
National Diet Library
  • DDC001.6/42

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl. (Lecture notes in computer science ; 23)

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl. (Lecture notes in computer science ; 23)
Paper図書
Springer-Verlag1975.<M159-51>
National Diet Library
  • DDC001.6/42

Proceedings of the Symposium on Computer Software Engineering, New York, N.Y., April 20-22, 1976 / organized by the Polytechnic Institute of New York, Microwave Research Institute ; with the participation of the Institute of Electrical and Electronics Engineers Computer Society Professional Group on Reliability, the Association for Computing Machinery ; co-sponsored by the Air Force Office of Scientific Research, the Office of Naval Research, the U.S. Army Research Office ; [edited by Jerome Fox, associate editor, Mark Howard Schlam, assistant editor, Walter O. Peter]. (Microwave Research Institute symposia series ; v. 24)

Proceedings of the Symposium on Computer Software Engineering, New York, N.Y., April 20-22, 1976 / organized by the Polytechnic Institute of New York, Microwave Research Institute ; with the participation of the Institute of Electrical and Electronics Engineers Computer Society Professional Group on Reliability, the Association for Computing Machinery ; co-sponsored by the Air Force Office of Scientific Research, the Office of Naval Research, the U.S. Army Research Office ; [edited by Jerome Fox, associate editor, Mark Howard Schlam, assistant editor, Walter O. Peter]. (Microwave Research Institute symposia series ; v. 24)
Paper図書
Polytechnic Press of the Polytechnic Institute of New Yorkc1976.<M159-65>
National Diet Library
  • DDC001.6/42

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974. Hrsg. im Auftrag der GI und der NTG von H.-O. Leilich. (Lecture notes in computer science, 8)

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974. Hrsg. im Auftrag der GI und der NTG von H.-O. Leilich. (Lecture notes in computer science, 8)
Paper図書
Springer1974.<M154-52>
National Diet Library
  • DDC001.6/42
RSS