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 Zdenk Kotsek, Jan Bouda, Ivana ern, Luk Sekanina, Tom Vojnar, David Anto.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 7119 | Lecture Notes in Computer Science ; 7119Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Descripción: XII, 215p. 53 illus. online resourceTipo de contenido:- text
- computer
- online resource
- 9783642259296
- SpringerLink (Online service)
- Computer science
- Computer Communication Networks
- Software engineering
- Computer software
- Logic design
- 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
- 004.6 23
- TK5105.5-5105.9
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.