Book Details


Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Publication year: 2008

ISBN: 978-3-540-70583-3

Internet Resource: Please Login to download book

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.

Subject: Computer Science, Hashing, algorithms, complexity, computational mathematics, cryptography, cryptology, formal methods, game theory, logic, logical foundations, mathematical logic, program semantics, programming, proof complexity, verification, data structures, Software Engineering, Programming and Operating Systems, Programming Techniques, Theory of Computation, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures