Articoli correlati a Automata, Languages and Programming: 28th International...

Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 : Proceedings: 2076 - Brossura

 
9783540422877: Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 : Proceedings: 2076
Brossura
ISBN 10: 3540422870 ISBN 13: 9783540422877
Casa editrice: Springer Verlag, 2001

Sinossi

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. four invited papers were carefully reviewed and selected from a total of 208 submissions. complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held July 8-12, 2001 in the Aldemar-Knossos Royal Village near Hersonissos on Crete, Greece. This volume contains all contributed papers presented at ICALP 2001, together with the invited lectures by Ahmed Bou- jani (Paris), Martin Gro e-Rhode (Berlin), Mogens Nielsen (Aarhus), and Ingo Wegener (Dortmund) and two of the keynote lectures, by Christos Papadimitriou and Boris Trakhtenbrot. For almost 30 years now, ICALP has been the main annual event of the European Association for Theoretical Computer Science (EATCS). The ICALP program currently consists of track A: Algorithms, Automata, Complexity, and Games and track B: Logic, Semantics, and Theory of Programming. In response to the Call for Papers, the program committee received 208 s- missions: 162 for track A, 46 for track B. The committee met on March 23/24, 2001 in Barcelona and selected 80 papers for inclusion into the scienti c program.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Verlag
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
3540422870
ISBN 13 
9783540422877
Rilegatura
Copertina flessibile
Numero di pagine
1086
Redattore
Orejas Fernando, Spirakis Paul G., Leeuwen Jan Van
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania