ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

書誌事項

ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

edited by K. Samelson

(Lecture notes in computer science, 44)

Springer-Verlag, 1976

  • : gw
  • : us

大学図書館所蔵 件 / 56

この図書・雑誌をさがす

注記

Includes bibliographical references

内容説明・目次

目次

Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ