ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1976
|
Subjects: | Computer science., Computers., Computer Science., Theory of Computation., Computer Science, general., |
Online Access: | http://dx.doi.org/10.1007/3-540-07804-5 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:178203 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1782032018-07-30T22:57:29ZECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / Samelson, K. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1976.engNames 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.Computer science.Computers.Computer Science.Theory of Computation.Computer Science, general.Springer eBookshttp://dx.doi.org/10.1007/3-540-07804-5URN:ISBN:9783540382157 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general. Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general. |
spellingShingle |
Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general. Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general. Samelson, K. editor. SpringerLink (Online service) ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
description |
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. |
format |
Texto |
topic_facet |
Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general. |
author |
Samelson, K. editor. SpringerLink (Online service) |
author_facet |
Samelson, K. editor. SpringerLink (Online service) |
author_sort |
Samelson, K. editor. |
title |
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
title_short |
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
title_full |
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
title_fullStr |
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
title_full_unstemmed |
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / |
title_sort |
eci conference 1976 [electronic resource] : proceedings of the 1st conference of the european cooperation in informatics amsterdam, august 9–12, 1976 / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1976 |
url |
http://dx.doi.org/10.1007/3-540-07804-5 |
work_keys_str_mv |
AT samelsonkeditor eciconference1976electronicresourceproceedingsofthe1stconferenceoftheeuropeancooperationininformaticsamsterdamaugust9121976 AT springerlinkonlineservice eciconference1976electronicresourceproceedingsofthe1stconferenceoftheeuropeancooperationininformaticsamsterdamaugust9121976 |
_version_ |
1756264379336097792 |