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 Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš.
by Kotásek, Zdeněk [editor.]; Bouda, Jan [editor.]; Černá, Ivana [editor.]; Sekanina, Lukáš [editor.]; Vojnar, Tomáš [editor.]; Antoš, David [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7119Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: XII, 215p. 53 illus. online resource.ISBN: 9783642259296.Subject(s): 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 ProgramsDDC classification: 004.6 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | TK5105.5-5105.9 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| Q334-342 Principles and Practice of Multi-Agent Systems | Q334-342 Structure Discovery in Natural Language | GA1-1776 Advances in Spatial Data Handling and GIS | TK5105.5-5105.9 Mathematical and Engineering Methods in Computer Science | Q334-342 Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence | QC174.45-174.52 Strings and Fundamental Physics | QA75.5-76.95 The Semantic Web: ESWC 2011 Workshops |
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.
There are no comments for this item.