ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Salvato in:
Dettagli Bibliografici
Ente Autore: Conference of the European Cooperation in Informatics :Amsterdam
Altri autori: Samelson, Klaus, 1918-1980 (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serie:Lecture notes in computer science 44
Soggetti:
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• ECI Conference 1976, Texte imprimé, 9783540078043
• ECI Conference 1976, Texte imprimé, 9783662204238
• ECI conference 1976, proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976, edited by K. Samelson, Berlin, Springer-Verlag, 1976, 1 vol. (viii, 322 p.), Lecture notes in computer science, 0-387-07804-5
Sommario:
  • 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.