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 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.