ECI Conference 1976, Proceedings of the 1st European Cooperation in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Klaus Samelson, editor, ECI Conference 1976, Proceedings of the 1st European Cooperation in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings. Volume 44 of Lecture Notes in Computer Science, Springer, 1976.

Conference: eci

Abstract is missing.

Names and Objects in Heterogeneous Computer NetworksLouis Pouzin. 1-11

Trends in Computer System Structure and ArchitectureWilhelm G. Spruth. 12-32

Aspects of the Communication within a Multisuppliers Computer NetworkF. J. van den Bosch, R. P. de Moel. 33-49

Communication and Sysnchronization Tools in a Distributed EnvironmentHervé Le Goff, Gérard Le Lann. 50-61

Multiprogrammed Memory Management for Random-Sized ProgramsBernhard Walke. 62-78

Integrity, Concurrency, and Recovery in DatabasesRudolf Bayer. 79-106

An Architecture for High-Level Language Database ExtensionsC. J. Date. 107-129

Data Structures and Graph GrammarsPierluigi Della Vigna, Carlo Ghezzi. 130-145

Selecting an Optimal Set of Secondary IndicesTheo Härder. 146-160

A Model for Data StructuresMila E. Majster-Cederbaum. 161-177

Fast Access Sequential StructuresGiancarlo Martella, Fabio A. Schreiber. 178-192

Database Systems Analysis and DesignE. E. Tozer. 193-224

Formal Techniques and Sizeable ProgramsEdsger W. Dijkstra. 225-235

Constructive Methods of Program DesignMichael Jackson. 236-262

Team Organisation in Integrated On-line Computer ProjectsP. Hammersley. 263-275

A Case Study of Structured Programming with Correctness ProofsJean Ichbiah, J. C. Heliard. 276-286

Program Optimization Using InvariantsShmuel Katz. 287-309

The GEM COBOL Monitor SystemAntonio Salvadori. 310-322

runs on WebDSL