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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!