Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

SOFSEM 2015: Theory and Practice of Computer Science

41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Editors: Italiano, G.F., Margaria-Steffen, T., Pokorný, J., Quisquater, J.-J., Wattenhofer, R. (Eds.)

Free Preview

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-662-46078-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-662-46077-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

Table of contents (50 chapters)

Table of contents (50 chapters)
  • What is Computation: An Epistemic Approach

    Wiedermann, Jiří (et al.)

    Pages 1-13

  • Progress (and Lack Thereof) for Graph Coloring Approximation Problems

    Halldórsson, Magnús M.

    Pages 14-23

  • Recent Results in Scalable Multi-Party Computation

    Saia, Jared (et al.)

    Pages 24-44

  • Online Bipartite Matching in Offline Time (Abstract)

    Sankowski, Piotr

    Pages 45-45

  • Quo Vadis Explicit-State Model Checking

    Barnat, Jiří

    Pages 46-57

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-662-46078-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-662-46077-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
SOFSEM 2015: Theory and Practice of Computer Science
Book Subtitle
41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Editors
  • Giuseppe F. Italiano
  • Tiziana Margaria-Steffen
  • Jaroslav Pokorný
  • Jean-Jacques Quisquater
  • Roger Wattenhofer
Series Title
Theoretical Computer Science and General Issues
Series Volume
8939
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-46078-8
DOI
10.1007/978-3-662-46078-8
Softcover ISBN
978-3-662-46077-1
Edition Number
1
Number of Pages
XVI, 616
Number of Illustrations
116 b/w illustrations
Topics