Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Editors: Kucera, A., Henzinger, Th.A., Nesetril, J., Vojnar, T., Antos, D. (Eds.)
Free Preview- Up-to-date results in mathematical and engineering methods in computer science
- Fast-track conference proceedings
- State-of-the-art research
Buy this book
- About this book
-
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.
- Table of contents (19 chapters)
-
-
BDD-Based Software Model Checking with CPAchecker
Pages 1-11
-
Security for Cyber-Physical Systems
Pages 12-14
-
Quantum Secret Sharing with Graph States
Pages 15-31
-
Testing Embedded Memories: A Survey
Pages 32-42
-
Quicksort and Large Deviations
Pages 43-52
-
Table of contents (19 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical and Engineering Methods in Computer Science
- Book Subtitle
- 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
- Editors
-
- Antonin Kucera
- Thomas A. Henzinger
- Jaroslav Nesetril
- Tomáš Vojnar
- David Antos
- Series Title
- Programming and Software Engineering
- Series Volume
- 7721
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-36046-6
- DOI
- 10.1007/978-3-642-36046-6
- Softcover ISBN
- 978-3-642-36044-2
- Edition Number
- 1
- Number of Pages
- XII, 213
- Number of Illustrations
- 32 b/w illustrations
- Topics
