Related Books

TAPSOFT '91 - Volume 2
Language: en
Pages: 502
Authors: Samson Abramsky
Categories: Computer software
Type: BOOK - Published: 1991 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was org
Parallel Database Systems
Language: en
Pages: 452
Authors: Pierre America
Categories: Computers
Type: BOOK - Published: 1991-06-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The in
Programming Language Implementation and Logic Programming
Language: en
Pages: 452
Authors: Jan Małuszyński
Categories: Computers
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Pr
Methods of Programming
Language: en
Pages: 292
Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 1991-10-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the a
CONCUR '91
Language: en
Pages: 564
Authors: Jos C.M. Baeten
Categories: Computers
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90