Theoretical Computer Science and General Issues

SOFSEM 2011: Theory and Practice of Computer Science

37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

Editors: Cerná, I., Gyimóthy, T., Hromkovič, J., Jeffrey, K., Kralovic, R., Vukolic, M., Wolf, S. (Eds.)

  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-18381-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-18380-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011. The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust.

Table of contents (46 chapters)

  • Integrity and Consistency for Untrusted Services

    Cachin, Christian

    Pages 1-14

  • A Structured Codesign Approach to Many-Core Architectures for Embedded Systems

    Gutknecht, Jürg

    Pages 15-25

  • SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information?

    Rührmair, Ulrich

    Pages 26-45

  • Verification of Timed-Arc Petri Nets

    Jacobsen, Lasse (et al.)

    Pages 46-72

  • Efficient Algorithms for Handling Nondeterministic Automata

    Vojnar, Tomáš

    Pages 73-73

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-18381-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-18380-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
SOFSEM 2011: Theory and Practice of Computer Science
Book Subtitle
37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
Editors
  • Ivana Cerná
  • Tibor Gyimóthy
  • Juraj Hromkovič
  • Keith Jeffrey
  • Rastislav Kralovic
  • Marko Vukolic
  • Stefan Wolf
Series Title
Theoretical Computer Science and General Issues
Series Volume
6543
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-18381-2
DOI
10.1007/978-3-642-18381-2
Softcover ISBN
978-3-642-18380-5
Edition Number
1
Number of Pages
XIV, 572
Number of Illustrations and Tables
102 b/w illustrations, 38 illustrations in colour
Topics