000			01613nam a2200229Ia 4500
008			131122s9999 xx 000 0 und d
020			_a3-540-27580-0
040			_aISI KOLKATA
041			_aEnglish
082			_a5.131 _bIn61
100			_aCaires Luis ed.
110			_aInternational Colloquium, ICALP 2005 on Automata, Languages and Programming
111			_aInternational colloquium, ICALP 2005 on automata, languages and programming _cLisbon, Portugal _d11-15 Jul 2005
245			_aAutomata, languages and programming _bproceedings
260			_aBerlin _bSpringer-Verlag _c2005
300			_axxv,1477
440			_aLecture notes in computer science; v 3580
520			_aThe papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checking.
650			_aAutomata theory
650			_aComputer programming languages
942			_cBK
999			_c110037 _d110037