Articles liés à ECI Conference 1976: Proceedings of the 1st Conference...

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

Samelson, K.

 
9783540078043: ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976
Couverture souple
ISBN 10 : 3540078045 ISBN 13 : 9783540078043
Editeur : Springer, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540078045
ISBN 13 
9783540078043
Reliure
Broché
Nombre de pages
334
Coordonnées du fabricant
non disponible
Personne responsable
non disponible