Automata, Languages and Programming | 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II | Susanne Albers (u. a.) | Taschenbuch | Englisch | Springer - Taschenbuch
2009, ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
booklooker.de |
Automata, Languages and Programming / 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / Susanne Albers (u. a.) / Taschenbuch / Englisch / Springer - Taschenbuch
2009, ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
booklooker.de |
Automata, Languages and Programming / 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / Susanne Albers (u. a.) / Taschenbuch / Englisch / Springer - Taschenbuch
2009, ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
booklooker.de |
2010, ISBN: 9783642029295
Series Editor: Marchetti-Spaccamela, Alberto, Series Editor: Matias, Yossi, Series Editor: Nikoletseas, Sotiris, Series Editor: Thomas, Wolfgang, Springer Berlin Heidelberg, Taschenbuch, … Mehr…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues) : - Taschenbuch
2009, ISBN: 9783642029295
Springer, 2009-08-11. 2009. Paperback. Used:Good., Springer, 2009-08-11, 0
Biblio.co.uk |
Automata, Languages and Programming | 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II | Susanne Albers (u. a.) | Taschenbuch | Englisch | Springer - Taschenbuch
2009, ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
Albers, Susanne:
Automata, Languages and Programming / 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / Susanne Albers (u. a.) / Taschenbuch / Englisch / Springer - Taschenbuch2009, ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
Automata, Languages and Programming / 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / Susanne Albers (u. a.) / Taschenbuch / Englisch / Springer - Taschenbuch
2009
ISBN: 9783642029295
[ED: Taschenbuch], [PU: Springer], ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. … Mehr…
2010, ISBN: 9783642029295
Series Editor: Marchetti-Spaccamela, Alberto, Series Editor: Matias, Yossi, Series Editor: Nikoletseas, Sotiris, Series Editor: Thomas, Wolfgang, Springer Berlin Heidelberg, Taschenbuch, … Mehr…
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues) : - Taschenbuch
2009, ISBN: 9783642029295
Springer, 2009-08-11. 2009. Paperback. Used:Good., Springer, 2009-08-11, 0
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (Lecture Notes in Computer Science, 5556, Band 5556)
EAN (ISBN-13): 9783642029295
ISBN (ISBN-10): 3642029299
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Albers, Susanne, Springer Berlin Heidelberg
597 Seiten
Gewicht: 0,876 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-09-28T23:14:57+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-13T15:43:21+01:00 (Vienna)
ISBN/EAN: 9783642029295
ISBN - alternative Schreibweisen:
3-642-02929-9, 978-3-642-02929-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: albers, marchetti thomas, susan albert, albert march, matias, susanne, wolfgang alber
Titel des Buches: proceedings the international colloquium language, rhodes, automata languages and programming, lecture notes computer science automata, albers
Daten vom Verlag:
Autor/in: Susanne Albers; Alberto Marchetti-Spaccamela; Yossi Matias; Sotiris Nikoletseas; Wolfgang Thomas
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
Verlag: Springer; Springer Berlin
597 Seiten
Erscheinungsjahr: 2009-06-24
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XXI, 597 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; ARC; algebra; algorithms; automata theory; complexity; group theory; lambda calculus; logic; monadic logic; program analysis; programming; sorting algorithms; temporal logic; wireless networks; Software Engineering; Programming Techniques; Theory of Computation; Discrete Mathematics in Computer Science; Mathematics of Computing; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; EA
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
2903540614400 Automata, Languages and Programming: 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings (Friedhelm Meyer auf der Heide)
- 2903540614400 Automata, Languages and Programming: 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings (Friedhelm Meyer auf der Heide)
- 9780387338828 Systems, Control, Modeling and Optimization (F. Ceragioli; A. Dontchev; H. Furuta; L. Pandolfi)
- 9780387513713 Systems, Control, Modeling and Optimization (G. Ausiello; M. Dezani-Ciancaglini; Editor-S. Ronchi Della Rocca)
- 9780387338811 Systems, Control, Modeling and Optimization (F. Ceragioli)
- (AUTOMATA, LANGUAGES AND PROGRAMMING: 37TH INTERNATIONAL COLLOQUIUM, ICALP 2010, BORDEAUX, FRANCE, JULY 6-10, 2010, PROCEEDINGS, PART II (EDITION.)) BY Paperback (Author) Paperback Published on (09 , 2010) (Abramsky, Samson)
< zum Archiv...