Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / [electronic resource] :
edited by Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš.
- 1st ed. 2012.
- XII, 215 p. 53 illus. online resource.
- Programming and Software Engineering, 7119 2945-9168 ; .
- Programming and Software Engineering, 7119 .
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.
9783642259296
10.1007/978-3-642-25929-6 doi
Computer networks .
Algorithms.
Software engineering.
Electronic data processing--Management.
Computer science.
Computer Communication Networks.
Algorithms.
Software Engineering.
IT Operations.
Computer Science Logic and Foundations of Programming.
TK5105.5-5105.9
004.6
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.
9783642259296
10.1007/978-3-642-25929-6 doi
Computer networks .
Algorithms.
Software engineering.
Electronic data processing--Management.
Computer science.
Computer Communication Networks.
Algorithms.
Software Engineering.
IT Operations.
Computer Science Logic and Foundations of Programming.
TK5105.5-5105.9
004.6