Mathematical Foundations of Computer Science 2009

Mathematical Foundations of Computer Science 2009
Author :
Publisher : Springer
Total Pages : 773
Release :
ISBN-10 : 9783642038167
ISBN-13 : 3642038166
Rating : 4/5 (166 Downloads)

Book Synopsis Mathematical Foundations of Computer Science 2009 by : Rastislav Královic

Download or read book Mathematical Foundations of Computer Science 2009 written by Rastislav Královic and published by Springer. This book was released on 2009-08-19 with total page 773 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smokovec, High Tatras, Slovakia, in August 2009. The 56 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from 148 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, including algorithmic game theory, algorithmic tearning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, theoretical issues in artificial intelligence.


Mathematical Foundations of Computer Science 2009 Related Books

Mathematical Foundations of Computer Science 2009
Language: en
Pages: 773
Authors: Rastislav Královic
Categories: Computers
Type: BOOK - Published: 2009-08-19 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smok
Mathematical Foundation of Computer Science
Language: en
Pages: 448
Authors: J. Rajendra Prasad
Categories: Computer science
Type: BOOK - Published: 2009 - Publisher: Laxmi Publications

GET EBOOK

Mathematical Foundations of Computer Science 2013
Language: en
Pages: 869
Authors: Krishnendu Chatterjee
Categories: Computers
Type: BOOK - Published: 2013-08-16 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2
Mathematical Foundations of Computer Science 2012
Language: en
Pages: 852
Authors: Branislav Rovan
Categories: Computers
Type: BOOK - Published: 2012-08-01 - Publisher: Springer

GET EBOOK

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratisl
Theoretical and Mathematical Foundations of Computer Science
Language: en
Pages: 629
Authors: Qihai Zhou
Categories: Computers
Type: BOOK - Published: 2011-11-07 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTM