Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Herausgegeben:Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Herausgegeben:Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C…mehr
- Jan van Leeuwen / Osamu Watanabe / Masami Hagiya / Peter D. Mosses / Takayasu Ito (eds.)Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics79,99 €
- Julian Bradfield (ed.)Computer Science Logic77,99 €
- Luis Caires / Guiseppe F. Italiano / Luis Monteiro / Catuscia Palamidessi / Moti Yung (eds.)Automata, Languages and Programming77,99 €
- Matthias Baaz / Johann M. Makowsky (Bearb.)Computer Science Logic79,99 €
- Manindra Agrawal / Anil Seth (eds.)FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science40,99 €
- David Schmidt ( Ed. )Programming Languages and Systems103,99 €
- Danny Z. Chen / D.T. LeeComputing and Combinatorics39,99 €
-
-
-
The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.
- Produktdetails
- Theoretical Computer Science and General Issues 5126
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12322992, 978-3-540-70582-6
- 2008
- Seitenzahl: 760
- Erscheinungstermin: 24. Juni 2008
- Englisch
- Abmessung: 235mm x 155mm x 41mm
- Gewicht: 1130g
- ISBN-13: 9783540705826
- ISBN-10: 3540705821
- Artikelnr.: 24382929
- Theoretical Computer Science and General Issues 5126
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12322992, 978-3-540-70582-6
- 2008
- Seitenzahl: 760
- Erscheinungstermin: 24. Juni 2008
- Englisch
- Abmessung: 235mm x 155mm x 41mm
- Gewicht: 1130g
- ISBN-13: 9783540705826
- ISBN-10: 3540705821
- Artikelnr.: 24382929