ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 (Lecture Notes in Computer Science)

Samelson, K.:

ISBN 10: 3540078045 / ISBN 13: 9783540078043

Verlag: Springer, 1976

344 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 22,9 x 15,5 x 2,3 cm, Taschenbuch. Bestandsnummer des Verkäufers 368665

Inhaltsangabe:

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.

Bibliografische Details

Titel: ECI Conference 1976: Proceedings of the 1st ...
Verlag: Springer
Erscheinungsdatum: 1976
Einband: Softcover
Zustand: Gut
Auflage: Auflage: 1976.