logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Stacs 2007 24th Annual Symposium On Theoretical Aspects Of Computer Science Aachen Germany February 2224 2007 Proceedings 1st Edition Serge Abiteboul Auth

  • SKU: BELL-1227452
Stacs 2007 24th Annual Symposium On Theoretical Aspects Of Computer Science Aachen Germany February 2224 2007 Proceedings 1st Edition Serge Abiteboul Auth
$ 31.00 $ 45.00 (-31%)

4.8

34 reviews

Stacs 2007 24th Annual Symposium On Theoretical Aspects Of Computer Science Aachen Germany February 2224 2007 Proceedings 1st Edition Serge Abiteboul Auth instant download after payment.

Publisher: Springer-Verlag Berlin Heidelberg
File Extension: PDF
File size: 6 MB
Pages: 710
Author: Serge Abiteboul (auth.), Wolfgang Thomas, Pascal Weil (eds.)
ISBN: 9783540709176, 3540709177
Language: English
Year: 2007
Edition: 1

Product desciption

Stacs 2007 24th Annual Symposium On Theoretical Aspects Of Computer Science Aachen Germany February 2224 2007 Proceedings 1st Edition Serge Abiteboul Auth by Serge Abiteboul (auth.), Wolfgang Thomas, Pascal Weil (eds.) 9783540709176, 3540709177 instant download after payment.

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.

Related Products