Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Montanari, Ugo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rolim, Jose D.P (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Welzl, Emo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1853
• Θέματα: Computers.; Software engineering.; Computer communication systems.; Special purpose computers.; Computer science-Mathematics.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Mathematics of Computing.
• Φυσική περιγραφή: XVI, 952 p. online resource.
• ISBN: 9783540450221
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-45022-X

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.