ENGLISH

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

By Wolfgang Thomas , Serge Abiteboul (auth.) , Pascal Weil (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
3540709177, 9783540709176
DOI
10.1007/978-3-540-70918-3
Open Library ID
OL9837488M
Language
english
Format
PDF
Filesize
6 MB (6296061 bytes)
Series
Lecture Notes in Computer Science 4393 : Theoretical Computer Science and General Issues
Edition
1
Pages
710\722
Topic
Computers
Library
lcns by are
Time added
2010-02-05 01:51:52
Computation by Abstract Devices; Algorithm Analysi

Description

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing.

Similar books