2010, ISBN: 9783642141614
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of… Más…
Indigo.ca new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío Details... |
2010, ISBN: 9783642141614
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Informati… Más…
booklooker.de |
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - libro usado
2010, ISBN: 9783642141614
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestoßen 7931195/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Kl… Más…
booklooker.de |
2010, ISBN: 3642141617
[EAN: 9783642141614], Neubuch, [SC: 5.84], [PU: Springer Berlin Heidelberg 2010-06-30, Berlin], Language: ENG, Books
ZVAB.com Blackwell's, Oxford, OX, United Kingdom [8052444] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: EUR 5.84 Details... |
ISBN: 9783642141614
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
Blackwells.co.uk |
2010, ISBN: 9783642141614
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of… Más…
Abramsky, Samson Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Spirakis, Paul:
Automata, Languages and Programming - Primera edición2010, ISBN: 9783642141614
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Informati… Más…
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - libro usado
2010
ISBN: 9783642141614
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestoßen 7931195/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Kl… Más…
2010, ISBN: 3642141617
[EAN: 9783642141614], Neubuch, [SC: 5.84], [PU: Springer Berlin Heidelberg 2010-06-30, Berlin], Language: ENG, Books
ISBN: 9783642141614
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Automata Languages and Programming by Samson Abramsky Paperback | Indigo Chapters
EAN (ISBN-13): 9783642141614
ISBN (ISBN-10): 3642141617
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Samson Abramsky
614 Páginas
Peso: 0,901 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2010-11-01T13:58:11-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-01-29T00:01:35-06:00 (Mexico City)
ISBN/EAN: 3642141617
ISBN - escritura alterna:
3-642-14161-7, 978-3-642-14161-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: kirchner, paul von der heide, abrams, spira, spir, abram, samson, auf der, claude, bordeaux, jean meyer, paul burkhard, meyer pierre, friedhelm stöck, abramsky
Título del libro: the programming language, rög, automata languages and programming, france, bordeaux, international colloquium, lecture notes computer science automata, book programming
Datos del la editorial
Autor: Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Título: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Editorial: Springer; Springer Berlin
614 Páginas
Año de publicación: 2010-06-30
Berlin; Heidelberg; DE
Idioma: Inglés
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XXIV, 614 p. 78 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; algorithms; automata; cloud computing; complexity; distributed computing; information management; logic; networked computation; overlay metworks; p2p; programming; semantics; social networks; theory of programming; algorithm analysis and problem complexity; Programming Techniques; Computer Communication Networks; Software Engineering; Algorithms; Theory of Computation; Netzwerk-Hardware; Software Engineering; Algorithmen und Datenstrukturen; Theoretische Informatik; EA
Invited Talks.- Informative Labeling Schemes.- Noetherian Spaces in Verification.- Towards a Theory of Time-Bounded Verification.- Physical Algorithms.- Session 1-Track B. Automata.- Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.- Pumping and Counting on the Regular Post Embedding Problem.- Alternation Removal in Büchi Automata.- Linear Orders in the Pushdown Hierarchy.- Session 1-Track C. Communication in Networks.- The Serializability of Network Codes.- How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange).- Efficient Information Exchange in the Random Phone-Call Model.- An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines.- Session 2-Track B. Formal Languages.- A Topological Approach to Recognition.- On LR(k)-Parsers of Polynomial Size.- On Erasing Productions in Random Context Grammars.- Session 4-Track B. Semantics.- Game Semantics for Call-by-Value Polymorphism.- What Is a Pure Functional?.- Example-Guided Abstraction Simplification.- Compositional Closure for Bayes Risk in Probabilistic Noninterference.- Session 4-Track C. Fault Tolerance, Ranking.- Asynchronous Throughput-Optimal Routing in Malicious Networks.- Improved Fault Tolerance and Secure Computation on Sparse Networks.- Sparse Reliable Graph Backbones.- Approximation Algorithms for Diversified Search Ranking.- Session 5-Track B. Graphs, Categories and Quantum Information.- Rewriting Measurement-Based Quantum Computations with Generalised Flow.- The Compositional Structure of Multipartite Quantum Entanglement.- Compositionality in Graph Transformation.- Session 6-Track B. Best Paper Award.- On p-Optimal Proof Systems and Logics for PTIME.- Session 6-Track C. Best Paper Award.- Placing Regenerators in Optical Networksto Satisfy Multiple Sets of Requests.- Session 7-Track B. Logic.- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals.- B and D Are Enough to Make the Halpern–Shoham Logic Undecidable.- Parameterized Modal Satisfiability.- Automata for Coalgebras: An Approach Using Predicate Liftings.- Session 7-Track C. Privacy, Selfishness.- Resolving the Complexity of Some Data Privacy Problems.- Private and Continual Release of Statistics.- Envy-Free Pricing in Multi-item Markets.- Contention Resolution under Selfishness.- Session 8-Track B. Concurrency.- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.- On Bisimilarity and Substitution in Presence of Replication.- The Downward-Closure of Petri Net Languages.- Reachability Games on Extended Vector Addition Systems with States.- Session 8-Track C. Mobile Agents.- Modelling Mobility: A Discrete Revolution.- Tell Me Where I Am So I Can Meet You Sooner.- Rendezvous of Mobile Agents without Agreement on Local Orientation.- Session 9-Track B. Probabilistic Computation.- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems.- Space-Efficient Scheduling of Stochastically Generated Tasks.- Exponential Lower Bounds for Policy Iteration.- Session 10-Track B. Automata.- Regular Temporal Cost Functions.- Model Checking Succinct and Parametric One-Counter Automata.- Pebble Weighted Automata and Transitive Closure Logics.- Energy Parity Games.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
- 9783642141645 Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes in Computer Science, 6198, Band 6198) (Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis)
- 9781441941558 Systems, Control, Modeling and Optimization: Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Ita (F. Ceragioli)
- 9780387513713 Systems, Control, Modeling and Optimization (G. Ausiello; M. Dezani-Ciancaglini; Editor-S. Ronchi Della Rocca)
< para archivar...