Read While You Wait - Get immediate ebook access, if available*, when you order a print book

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

Automata, Languages and Programming

36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II

Editors: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-642-02930-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
About this book

The two-volume set LNCS 5555 and LNCS 5556 constitutes the refereed proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, held in Rhodes, Greece, in July 2009.

The 126 revised full papers (62 papers for track A, 24 for track B, and 22 for track C) presented were carefully reviewed and selected from a total of 370 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games; on logic, semantics, theory of programming, as well as on foundations of networked computation: models, algorithms and information management. 

LNCS 5556 contains 46 contributions of tracks B and C selected from 147 submissions as well as 2 invited lectures.

This two-volume set lauches the new subline of Lecture Notes in Computer Science, entitled LNCS Advanced Research in Computing and Software Science (ARCoSS).

Table of contents (48 chapters)

Table of contents (48 chapters)
  • A Survey of Stochastic Games with Limsup and Liminf Objectives

    Pages 1-15

    Chatterjee, Krishnendu (et al.)

  • Tractable Optimization Problems through Hypergraph-Based Structural Restrictions

    Pages 16-30

    Gottlob, Georg (et al.)

  • Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

    Pages 31-42

    Acciai, Lucia (et al.)

  • When Are Timed Automata Determinizable?

    Pages 43-54

    Baier, Christel (et al.)

  • Faithful Loops for Aperiodic E-Ordered Monoids

    Pages 55-66

    Beaudry, Martin (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-642-02930-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
Editors
  • Susanne Albers
  • Alberto Marchetti-Spaccamela
  • Yossi Matias
  • Sotiris Nikoletseas
  • Wolfgang Thomas
Series Title
Theoretical Computer Science and General Issues
Series Volume
5556
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-02930-1
DOI
10.1007/978-3-642-02930-1
Softcover ISBN
978-3-642-02929-5
Edition Number
1
Number of Pages
XXI, 597
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.