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… Altro …
Indigo.ca new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2010, ISBN: 9783642141614
edizione con copertina flessibile
[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… Altro …
booklooker.de |
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - libri usati
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… Altro …
booklooker.de |
Automata, Languages and Programming Theoretical Computer Science and General Issues - edizione con copertina flessibile
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. Costi di spedizione: EUR 5.84 Details... |
Automata, Languages and Programming Theoretical Computer Science and General Issues - edizione con copertina flessibile
ISBN: 9783642141614
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
Blackwells.co.uk Blackwells.co.uk in stock. Costi di spedizione:Usually dispatched within 7 days. (EUR 7.61) Details... |
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… Altro …
Abramsky, Samson Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Spirakis, Paul:
Automata, Languages and Programming - Prima edizione2010, ISBN: 9783642141614
edizione con copertina flessibile
[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… Altro …
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - libri usati
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… Altro …
Automata, Languages and Programming Theoretical Computer Science and General Issues - edizione con copertina flessibile
2010, ISBN: 3642141617
[EAN: 9783642141614], Neubuch, [SC: 5.84], [PU: Springer Berlin Heidelberg 2010-06-30, Berlin], Language: ENG, Books
Automata, Languages and Programming Theoretical Computer Science and General Issues - edizione con copertina flessibile
ISBN: 9783642141614
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Automata Languages and Programming by Samson Abramsky Paperback | Indigo Chapters
EAN (ISBN-13): 9783642141614
ISBN (ISBN-10): 3642141617
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Samson Abramsky
614 Pagine
Peso: 0,901 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2010-11-01T20:58:11+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-01-29T07:01:35+01:00 (Rome)
ISBN/EAN: 3642141617
ISBN - Stili di scrittura alternativi:
3-642-14161-7, 978-3-642-14161-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore 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
Titolo del libro: the programming language, rög, automata languages and programming, france, bordeaux, international colloquium, lecture notes computer science automata, book programming
Dati dell'editore
Autore: Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Titolo: 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
Editore: Springer; Springer Berlin
614 Pagine
Anno di pubblicazione: 2010-06-30
Berlin; Heidelberg; DE
Peso: 0,954 kg
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XXIV, 614 p. 78 illus.
BC; Programming Techniques; 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; Computer Communication Networks; Software Engineering/Programming and Operating Systems; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Software Engineering; 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 Networks to 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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...