Editors:
High quality selected papers
Unique visibility
State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7119)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): MEMICS: International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference proceedings info: MEMICS 2011.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (19 papers)
-
Front Matter
About this book
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.
Keywords
- compact hashing
- micropayments
- multi-core
- parallel architecture
- timed automata
- algorithm analysis and problem complexity
Editors and Affiliations
-
Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic
Zdeněk Kotásek, Lukáš Sekanina, Tomáš Vojnar
-
Faculty of Informatics, Masaryk University, Brno, Czech Republic
Jan Bouda, Ivana Černá
-
Institute of Computer Science, Masaryk University, Brno, Czech Republic
David Antoš
Bibliographic Information
Book Title: Mathematical and Engineering Methods in Computer Science
Book Subtitle: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Editors: Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-25929-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-25928-9Published: 10 January 2012
eBook ISBN: 978-3-642-25929-6Published: 28 January 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 215
Number of Illustrations: 53 b/w illustrations
Topics: Computer Communication Networks, Algorithms, Software Engineering, IT Operations, Computer Science Logic and Foundations of Programming