Theoretical Computer Science and General Issues

Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Editors: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P. (Eds.)

Buy this book

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

Table of contents (50 chapters)

  • Informative Labeling Schemes

    Fraigniaud, Pierre

    Pages 1-1

  • Noetherian Spaces in Verification

    Goubault-Larrecq, Jean

    Pages 2-21

  • Towards a Theory of Time-Bounded Verification

    Ouaknine, Joël (et al.)

    Pages 22-37

  • Physical Algorithms

    Wattenhofer, Roger

    Pages 38-51

  • Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata

    Genest, Blaise (et al.)

    Pages 52-63

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Editors
  • Samson Abramsky
  • Cyril Gavoille
  • Claude Kirchner
  • Friedhelm Meyer auf der Heide
  • Paul Spirakis
Series Title
Theoretical Computer Science and General Issues
Series Volume
6199
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14162-1
DOI
10.1007/978-3-642-14162-1
Softcover ISBN
978-3-642-14161-4
Edition Number
1
Number of Pages
XXIV, 614
Number of Illustrations and Tables
78 b/w illustrations
Topics