04627nam 22008415 450 99646593470331620220506220231.03-642-25929-410.1007/978-3-642-25929-6(CKB)3400000000025723(SSID)ssj0000610221(PQKBManifestationID)11394190(PQKBTitleCode)TC0000610221(PQKBWorkID)10622383(PQKB)10392336(DE-He213)978-3-642-25929-6(MiAaPQ)EBC3070933(PPN)159086264(EXLCZ)99340000000002572320120127d2012 u| 0engurnn#008mamaatxtccrMathematical and Engineering Methods in Computer Science[electronic resource] 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /edited by Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 215 p. 53 illus.)Programming and Software Engineering ;7119Bibliographic Level Mode of Issuance: Monograph3-642-25928-6 Includes bibliographical references and index.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.Programming and Software Engineering ;7119Computer communication systemsAlgorithmsSoftware engineeringManagement information systemsComputer scienceComputer logicComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XKongressLednice2011.Conference proceedings.fastComputer communication systems.Algorithms.Software engineering.Management information systems.Computer science.Computer logic.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Software Engineering.Management of Computing and Information Systems.Logics and Meanings of Programs.004004sdnbSS 4800rvkKotásek Zdeněkedthttp://id.loc.gov/vocabulary/relators/edtBouda Janedthttp://id.loc.gov/vocabulary/relators/edtCerná Ivanaedthttp://id.loc.gov/vocabulary/relators/edtSekanina Lukasedthttp://id.loc.gov/vocabulary/relators/edtVojnar Tomasedthttp://id.loc.gov/vocabulary/relators/edtAntoš Davidedthttp://id.loc.gov/vocabulary/relators/edtMEMICS (Workshop)BOOK996465934703316Mathematical and Engineering Methods in Computer Science2596803UNISA