Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kotásek, Zdeněk (Editor), Bouda, Jan (Editor), Černá, Ivana (Editor), Sekanina, Lukáš (Editor), Vojnar, Tomáš (Editor), Antoš, David (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7119
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Algorithms.; Computer logic.; Management information systems.; Computer Science.; Computer Communication Networks.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Management of Computing and Information Systems.; Logics and Meanings of Programs.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with...