STACS 95

Download or Read eBook STACS 95 PDF written by Ernst W. Mayr and published by Springer Science & Business Media. This book was released on 1995-02-15 with total page 698 pages. Available in PDF, EPUB and Kindle.
STACS 95
Author :
Publisher : Springer Science & Business Media
Total Pages : 698
Release :
ISBN-10 : 3540590420
ISBN-13 : 9783540590422
Rating : 4/5 (20 Downloads)

Book Synopsis STACS 95 by : Ernst W. Mayr

Book excerpt: This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.


STACS 95 Related Books

STACS 95
Language: en
Pages: 698
Authors: Ernst W. Mayr
Categories: Computers
Type: BOOK - Published: 1995-02-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Be
TAPSOFT '95: Theory and Practice of Software Development
Language: en
Pages: 836
Authors: Peter D. Mosses
Categories: Computers
Type: BOOK - Published: 1995-05-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus
Mathematical Foundations of Computer Science 1995
Language: en
Pages: 614
Authors: Juraj Wiedermann
Categories: Computers
Type: BOOK - Published: 1995-08-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic
Automata, Languages and Programming
Language: en
Pages: 1098
Authors: Fernando Orejas
Categories: Computers
Type: BOOK - Published: 2003-05-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in
Computer Aided Verification
Language: en
Pages: 468
Authors: Pierre Wolper
Categories: Computers
Type: BOOK - Published: 1995-06-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The b