Automata, Languages and Programming
Subtitle: 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings (Lecture Notes in Computer Science)
Contributors: Peter Widmayer (Editor); Francisco Triguero (Editor); Rafael Morales (Editor); Matthew Hennessy (Editor); Stephan Eidenbenz (Editor); Ricardo Conejo (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 15, 2002
Language: eng
Format: Paperback
Number of pages: 1069
ISBN-13: 9783540438649
Subjects: Artificial intelligence; Automatic control engineering; Computer Programming; Medical / Nursing; Computer Books: General; Automata; Computer Programming Languages; Programming Languages - General; Computers; General; Computer Science; Programming - General; Algorithmic Mathematics; Algorithms; Approximation; Complexity; Computers / Computer Science; Discrete Mathematics; Distributed Systems; Graph Theory; Logical Foundations; Mathematical Foundations
First sentence: There is a long history of theoretical ideas in computer science that have led to major practical advances in experimental and applied computer science: for example, formal language and automata theory led to practical programming language design and parsing techniques, and number theoretic algorithms led to the development of public key cryptography forming the basis of many of the cryptographic protocols currently used on the internet.