TY - BOOK ID - 7542628 TI - Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers AU - Kotásek, Zdeněk. AU - Bouda, Jan. AU - Cerná, Ivana. AU - Sekanina, Lukas. AU - Vojnar, Tomas. AU - Antoš, David. AU - MEMICS (Workshop) AU - MEMICS 2011 PY - 2012 VL - 7119 SN - 03029743 SN - 3642259286 3642259294 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science KW - Software engineering KW - Engineering & Applied Sciences KW - Electrical & Computer Engineering KW - Telecommunications KW - Computer Science KW - Mathematics KW - Information Technology KW - Computer Science (Hardware & Networks) KW - Computer science. KW - Computer communication systems. KW - Software engineering. KW - Algorithms. KW - Computer logic. KW - Management information systems. KW - Computer Science. KW - Computer Communication Networks. KW - Algorithm Analysis and Problem Complexity. KW - Software Engineering. KW - Management of Computing and Information Systems. KW - Logics and Meanings of Programs. KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Algorism KW - Algebra KW - Arithmetic KW - Computer software engineering KW - Engineering KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Electronic data processing KW - Network computers KW - Informatics KW - Science KW - Communication systems KW - Foundations KW - Distributed processing KW - Computer software. KW - Information Systems. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Software, Computer KW - Computer systems UR - https://www.unicat.be/uniCat?func=search&query=sysid:7542628 AB - 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. 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. ER -