Skip to main content
SpringerLink
Log in
Book cover

ECI Conference 1976

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

  • Conference proceedings
  • © 1976

Overview

Editors:
  1. K. Samelson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 44)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Names and objects in heterogeneous computer networks

    • Louis Pouzin
    Pages 1-11

  3. Trends in computer system structure and architecture

    • W. G. Spruth
    Pages 12-32

  4. Aspects of the communication within a multisuppliers computer network

    • F. J. van Bosch, R. P. de Moel
    Pages 33-49

  5. Communication and synchronization tools in a distributed environment

    • H. Le Goff, G. Le Lann
    Pages 50-61

  6. Multiprogrammed memory management for random-sized programs

    • Bernhard Walke
    Pages 62-78

  7. Integrity, concurrency, and recovery in databases

    • Rudolf Bayer
    Pages 79-106

  8. An architecture for high-level language database extensions

    • C. J. Date
    Pages 107-129

  9. Data structures and graph grammars

    • P. L. Della Vigna, C. Ghezzi
    Pages 130-145

  10. Selecting an optimal set of secondary indices

    • Theo Härder
    Pages 146-160

  11. A model for data structures

    • Mila E. Majster
    Pages 161-177

  12. Fast access sequential structures

    • G. Martella, F. A. Schreiber
    Pages 178-192

  13. Database systems analysis and design

    • E. E. Tozer
    Pages 193-224

  14. Formal techniques and sizeable programs

    • Edsger W. Dijkstra
    Pages 225-235

  15. Constructive methods of program design

    • M. A. Jackson
    Pages 236-262

  16. Team organisation in integrated on-line computer projects

    • P. Hammersley
    Pages 263-275

  17. A case study of structured programming with correctness proofs

    • J. D. Ichbiah, J. C. Heliard
    Pages 276-286

  18. Program optimization using invariants

    • Shmuel Katz
    Pages 287-309

  19. The GEM COBOL monitor system

    • Antonio Salvadori
    Pages 310-322
Back to top

Keywords

Bibliographic Information

  • Book Title: ECI Conference 1976

  • Book Subtitle: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

  • Editors: K. Samelson

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07804-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1976

  • Softcover ISBN: 978-3-540-07804-3Published: 01 July 1976

  • eBook ISBN: 978-3-540-38215-7Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 334

  • Topics: Theory of Computation, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation