1. ECI 1976: Amsterdam, The Netherlands

Klaus Samelson (Ed.): ECI Conference 1976, Proceedings of the 1st European Cooperation in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings. Lecture Notes in Computer Science 44 Springer 1976, ISBN 3-540-07804-5

@proceedings{DBLP:conf/eci/1976,
  editor    = {Klaus Samelson},
  title     = {ECI Conference 1976, Proceedings of the 1st European Cooperation
               in Informatics, Amsterdam, The Netherlands, August 9-12, 1976,
               Proceedings},
  booktitle = {ECI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {44},
  year      = {1976},
  isbn      = {3-540-07804-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Computer Architecture and Computer Systems Structure

Louis Pouzin:
Names and Objects in Heterogeneous Computer Networks. 1-11
Wilhelm G. Spruth:
Trends in Computer System Structure and Architecture. 12-32
F. J. van den Bosch, R. P. de Moel:
Aspects of the Communication within a Multisuppliers Computer Network. 33-49
Hervé Le Goff, Gérard Le Lann:
Communication and Sysnchronization Tools in a Distributed Environment. 50-61
Bernhard Walke:
Multiprogrammed Memory Management for Random-Sized Programs. 62-78

Concepts and Techniques of Data Base Management

Rudolf Bayer:
Integrity, Concurrency, and Recovery in Databases. 79-106
C. J. Date:
An Architecture for High-Level Language Database Extensions. 107-129
Pierluigi Della Vigna, Carlo Ghezzi:
Data Structures and Graph Grammars. 130-145
Theo Härder:
Selecting an Optimal Set of Secondary Indices. 146-160
Mila E. Majster-Cederbaum:
A Model for Data Structures. 161-177
Giancarlo Martella, Fabio A. Schreiber:
Fast Access Sequential Structures. 178-192
E. E. Tozer:
Database Systems Analysis and Design. 193-224

Program Development and Program Verification

Edsger W. Dijkstra:
Formal Techniques and Sizeable Programs. 225-235
Michael Jackson:
Constructive Methods of Program Design. 236-262
P. Hammersley:
Team Organisation in Integrated On-line Computer Projects. 263-275
Jean Ichbiah, J. C. Heliard:
A Case Study of Structured Programming with Correctness Proofs. 276-286
Shmuel Katz:
Program Optimization Using Invariants. 287-309
Antonio Salvadori:
The GEM COBOL Monitor System. 310-322

Last update Tue May 22 04:52:34 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page