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

Automata, Languages and Programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings (Lecture Notes in Computer Science): 510 - Brossura

 
9783540542339: Automata, Languages and Programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings (Lecture Notes in Computer Science): 510
Brossura
ISBN 10: 3540542337 ISBN 13: 9783540542339
Casa editrice: Springer, 1991

Sinossi

This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.

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

Dalla quarta di copertina

This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.

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

Editore
Springer
Data di pubblicazione
1991
Lingua
Inglese
ISBN 10 
3540542337
ISBN 13 
9783540542339
Rilegatura
Copertina flessibile
Numero di pagine
768
Redattore
Leach Albert Javier, Monien Burkhard, Rodriguez Artalejo Mario
Contatto del produttore
non disponibile
Persona responsabile
non disponibile