STACS 97

STACS 97
Author :
Publisher : Springer Science & Business Media
Total Pages : 638
Release :
ISBN-10 : 3540626166
ISBN-13 : 9783540626169
Rating : 4/5 (66 Downloads)

Book Synopsis STACS 97 by : Rüdiger Reischuk

Download or read book STACS 97 written by Rüdiger Reischuk and published by Springer Science & Business Media. This book was released on 1997-02-21 with total page 638 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.


STACS 97 Related Books

STACS 97
Language: en
Pages: 638
Authors: Rüdiger Reischuk
Categories: Computers
Type: BOOK - Published: 1997-02-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in F
Algorithms and Data Structures
Language: en
Pages: 492
Authors: Frank Dehne
Categories: Computers
Type: BOOK - Published: 1997-07-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book is an introduction to the theory of cubic metaplectic forms on the 3-dimensional hyperbolic space and the author's research on cubic metaplectic forms
Combinatorial Pattern Matching
Language: en
Pages: 292
Authors: Alberto Apostolico
Categories: Computers
Type: BOOK - Published: 1997-06-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Eighth Annual Symposium on Combinatorial Pattern Matching, CPM 97, held in Aarhus, Denmark, in June/July 1
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 452
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 1997-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '
Foundations of Inductive Logic Programming
Language: en
Pages: 440
Authors: Shan-Hwei Nienhuys-Cheng
Categories: Computers
Type: BOOK - Published: 1997-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volum