Vor Ort
Merkzettel Warenkorb
Produktbild: Automata, Languages and Programming
Band 5556

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

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

XXI, 597 p.

Herausgeber

Susanne Albers + weitere

Verlag

Springer Berlin

Seitenzahl

597

Maße (B/H)

15,5/23,5 cm

Gewicht

858 g

Sprache

Englisch

ISBN

978-3-642-02929-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Abbildungen

XXI, 597 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

597

Maße (B/H)

15,5/23,5 cm

Gewicht

858 g

Sprache

Englisch

ISBN

978-3-642-02929-5

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automata, Languages and Programming
  • Track B: Invited Lectures.- A Survey of Stochastic Games with Limsup and Liminf Objectives.- Tractable Optimization Problems through Hypergraph-Based Structural Restrictions.- Track B: Contributed Papers.- Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.- When Are Timed Automata Determinizable?.- Faithful Loops for Aperiodic E-Ordered Monoids.- Boundedness of Monadic Second-Order Formulae over Finite Words.- Semilinear Program Feasibility.- Floats and Ropes: A Case Study for Formal Numerical Program Verification.- Reachability in Stochastic Timed Games.- Equations Defining the Polynomial Closure of a Lattice of Regular Languages.- Approximating Markov Processes by Averaging.- The Theory of Stabilisation Monoids and Regular Cost Functions.- A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.- On Constructor Rewrite Systems and the Lambda-Calculus.- On Regular Temporal Logics with Past,.- Forward Analysis for WSTS, Part II: Complete WSTS.- Qualitative Concurrent Stochastic Games with Imperfect Information.- Diagrammatic Confluence and Completion.- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus.- LTL Path Checking Is Efficiently Parallelizable.- An Explicit Formula for the Free Exponential Modality of Linear Logic.- Decidability of the Guarded Fragment with the Transitive Closure.- Weak Alternating Timed Automata.- A Decidable Characterization of Locally Testable Tree Languages.- The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games.- Track C: Invited Lecture.- Google’s Auction for TV Ads.- Track C: Contributed Papers.- Graph Sparsification in the Semi-streaming Model.- Sort Me If You Can: How to Sort Dynamic Data.- Maximum Bipartite Flow in Networks withAdaptive Channel Width.- Mediated Population Protocols.- Rumor Spreading in Social Networks.- MANETS: High Mobility Can Make Up for Low Transmission Power.- Multiple Random Walks and Interacting Particle Systems.- Derandomizing Random Walks in Undirected Graphs Using Locally Fair Exploration Strategies.- On a Network Generalization of the Minmax Theorem.- Rate-Based Transition Systems for Stochastic Process Calculi.- Improved Algorithms for Latency Minimization in Wireless Networks.- Efficient Methods for Selfish Network Design.- Smoothed Analysis of Balancing Networks.- Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures.- Multi-armed Bandits with Metric Switching Costs.- Algorithms for Secretary Problems on Graphs and Hypergraphs.- Leader Election in Ad Hoc Radio Networks: A Keen Ear Helps.- Secure Function Collection with Sublinear Storage.- Worst-Case Efficiency Analysis of Queueing Disciplines.- On Observing Dynamic Prioritised Actions in SOC.- A Distributed and Oblivious Heap.- Proportional Response Dynamics in the Fisher Market.