Stacs 91

Download Stacs 91 full books in PDF, epub, and Kindle. Read online free Stacs 91 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

STACS 91

STACS 91
Author :
Publisher : Springer Science & Business Media
Total Pages : 568
Release :
ISBN-10 : 3540537090
ISBN-13 : 9783540537090
Rating : 4/5 (090 Downloads)

Book Synopsis STACS 91 by : Christian Choffrut

Download or read book STACS 91 written by Christian Choffrut and published by Springer Science & Business Media. This book was released on 1991-02-08 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.


STACS 91 Related Books

STACS 91
Language: en
Pages: 568
Authors: Christian Choffrut
Categories: Computers
Type: BOOK - Published: 1991-02-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Associa
ESEC '91
Language: en
Pages: 536
Authors: Alfonso Fuggetta
Categories: Computers
Type: BOOK - Published: 1991-10-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of
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
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
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Language: en
Pages: 452
Authors: Soren Prehn
Categories: Computers
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252