Mathematical 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š

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
• Edizione: 1st ed. 2012.
• Descrizione fisica: 1 online resource (XII, 215 p. 53 illus.)
• Disciplina: 004
• Soggetto topico: Computer 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
• Soggetto genere / forma: Kongress2011.Lednice; Conference proceedings.
• Classificazione: 004; SS 4800
• Persona (resp. second.): KotásekZdeněk; BoudaJan; CernáIvana; SekaninaLukas; VojnarTomas; AntošDavid
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Sommario/riassunto: 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.
• Titolo autorizzato: Mathematical and Engineering Methods in Computer Science
• ISBN: 3-642-25929-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465934703316
• Lo trovi qui: Univ. di Salerno
• Serie: Programming and Software Engineering ; ; 7119