default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ECI 1976: Amsterdam, The Netherlands
- Klaus Samelson:
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
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 Alberto Schreiber:
Fast Access Sequential Structures. 178-192 - Edwin 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 - Peter Hammersley:
Team Organisation in Integrated On-line Computer Projects. 263-275 - Jean Ichbiah, Jean-Claude 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-24 17:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
