| Titre : | Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings |
| Auteurs : | Luis Caires, Auteur ; Guiseppe F. Italiano, Auteur |
| Type de document : | document électronique |
| Editeur : | Berlin ; London ; New York : Springer, 2005 |
| Collection : | Computer Science |
| ISBN/ISSN/EAN : | 978-3-540-27580-0 |
| Langues : | Anglais |
| Index. décimale : | 681.3 (Appareils et matériel de traitement de données. Informatique) |
| Tags : | Computational complexity Data structures (Computer science) Data structures (Computer science) Electronic data processing Information theory Software engineering Computer Science Data Structures Data Structures, Cryptology and Information Theory Discrete Mathematics in Computer Science Numeric Computing Software Engineering/Programming and Operating Systems Theory of Computation |
| Résumé : |
constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005.
The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The 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 chec |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| E00014 | 681.3 AUT | Ressources électroniques | Bibliothèque Centrale | Informatique | Disponible | ||||||
| E00013 | 681.3 AUT | Ressources électroniques | Bibliothèque Centrale | Informatique | Disponible |
