Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings / Petr Hliněný, Antonin Kučera (eds.).
This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin :
Springer,
2010.
|
| Series: | Lecture notes in computer science ;
6281. Lecture notes in computer science. Advanced research in computing and software science LNCS sublibrary. Theoretical computer science and general issues |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning 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, and theoretical issues in artificial intelligence. |
|---|---|
| Item Description: | International conference proceedings. |
| Physical Description: | 1 online resource (xvii, 714 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISSN: | 0302-9743 ; |