Annotation This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011
Analysis
Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Information Systems
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
Logics and Meanings of Programs
Bibliography
Includes bibliographical references and author index
