Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Theoretical Computer Science and General Issues

SOFSEM 2007: Theory and Practice of Computer Science

33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings

Editors: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (Eds.)

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-3-540-69507-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $199.00
price for USA in USD
  • ISBN 978-3-540-69506-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

  • Graphs from Search Engine Queries

    Baeza-Yates, Ricardo

    Pages 1-8

  • Model-Checking Large Finite-State Systems and Beyond

    Brim, Luboš (et al.)

    Pages 9-28

  • Interaction and Realizability

    Broy, Manfred

    Pages 29-50

  • A Short Introduction to Computational Social Choice

    Chevaleyre, Yann (et al.)

    Pages 51-69

  • Distributed Models and Algorithms for Mobile Robot Systems

    Efrima, Asaf (et al.)

    Pages 70-87

Buy this book

eBook $149.00
price for USA in USD (gross)
  • ISBN 978-3-540-69507-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $199.00
price for USA in USD
  • ISBN 978-3-540-69506-6
  • 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 2007: Theory and Practice of Computer Science
Book Subtitle
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Editors
  • Jan van Leeuwen
  • Giuseppe F. Italiano
  • Wiebe van der Hoek
  • Christoph Meinel
  • Harald Sack
  • František Plášil
Series Title
Theoretical Computer Science and General Issues
Series Volume
4362
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69507-3
DOI
10.1007/978-3-540-69507-3
Softcover ISBN
978-3-540-69506-6
Edition Number
1
Number of Pages
XXI, 937
Topics