Programming and Software Engineering

Mathematical and Engineering Methods in Computer Science

7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Editors: Kotásek, Z., Bouda, J., Cerná, I., Sekanina, L., Vojnar, T., Antoš, D. (Eds.)

  • High quality selected papers
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-25929-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-25928-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (19 chapters)

  • Rigorous System Design: The BIP Approach

    Basu, Ananda (et al.)

    Pages 1-19

  • Natural Born Computing

    Bentley, Peter J.

    Pages 20-36

  • Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives

    Chatterjee, Krishnendu (et al.)

    Pages 37-46

  • Assessing System Vulnerability Using Formal Verification Techniques

    Fey, Görschwin

    Pages 47-56

  • Information Security in a Quantum World

    Renner, Renato

    Pages 57-62

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-25929-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-25928-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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 Cerná
  • Lukas Sekanina
  • Tomáš Vojnar
  • David Antoš
Series Title
Programming and Software Engineering
Series Volume
7119
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-25929-6
DOI
10.1007/978-3-642-25929-6
Softcover ISBN
978-3-642-25928-9
Edition Number
1
Number of Pages
XII, 215
Number of Illustrations and Tables
53 b/w illustrations
Topics