LATIN '95: Theoretical Informatics

LATIN '95: Theoretical Informatics PDF Author: Ricardo Baeza-Yates
Publisher: Springer Science & Business Media
ISBN: 9783540591757
Category : Computers
Languages : en
Pages : 550

Get Book Here

Book Description
This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching.

LATIN '95: Theoretical Informatics

LATIN '95: Theoretical Informatics PDF Author: Ricardo Baeza-Yates
Publisher: Springer Science & Business Media
ISBN: 9783540591757
Category : Computers
Languages : en
Pages : 550

Get Book Here

Book Description
This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching.

LATIN'98: Theoretical Informatics

LATIN'98: Theoretical Informatics PDF Author: Claudio L. Lucchesi
Publisher: Springer Science & Business Media
ISBN: 9783540642756
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 1998. The 28 revised full papers presented together with five invited surveys were carefully selected from a total of 53 submissions based on 160 referees' reports. The papers are organized in sections on algorithms and complexity; automata, transition systems and combinatorics on words; computational geometry and graph drawing; cryptography; graph theory and algorithms on graphs; packet routing; parallel algorithms; and pattern matching and browsing.

LATIN 2012: Theoretical Informatics

LATIN 2012: Theoretical Informatics PDF Author: David Fernández-Baca
Publisher: Springer Science & Business Media
ISBN: 3642293433
Category : Computers
Languages : en
Pages : 685

Get Book Here

Book Description
This book constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in Arequipa, Peru, in April 2012. The 55 papers presented in this volume were carefully reviewed and selected from 153 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures.

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics PDF Author: José A. Soto
Publisher: Springer Nature
ISBN: 3031555988
Category :
Languages : en
Pages : 363

Get Book Here

Book Description


LATIN 2008: Theoretical Informatics

LATIN 2008: Theoretical Informatics PDF Author: Eduardo Sany Laber
Publisher: Springer Science & Business Media
ISBN: 3540787720
Category : Computers
Languages : en
Pages : 808

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 8th International Latin American Symposium on Theoretical Informatics, LATIN 2008, held in Búzios, Brazil, in April 2008. The 66 revised full papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 242 submissions. The papers address a veriety of topics in theoretical computer science with a certain focus on algorithms, automata theory and formal languages, coding theory and data compression, algorithmic graph theory and combinatorics, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptography, theoretical aspects of databases and information retrieval, data structures, networks, logic in computer science, machine learning, mathematical programming, parallel and distributed computing, pattern matching, quantum computing and random structures.

LATIN 2002: Theoretical Informatics

LATIN 2002: Theoretical Informatics PDF Author: Sergio Rajsbaum
Publisher: Springer Science & Business Media
ISBN: 3540434003
Category : Computational complexity
Languages : en
Pages : 643

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002. The 44 revised full papers presented together with a tutorial and 7 abstracts of invited contributions were carefully reviewed and selected from a total of 104 submissions. The papers presented are devoted to a broad range of topics from theoretical computer science and mathematical foundations, with a certain focus on algorithmics and computations related to discrete structures.

LATIN 2004: Theoretical Informatics

LATIN 2004: Theoretical Informatics PDF Author: Martin Farach-Colton
Publisher: Springer Science & Business Media
ISBN: 3540212582
Category : Computers
Languages : en
Pages : 642

Get Book Here

Book Description
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5–8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ̃ ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in Computer Science series: Volumes 583, 911, 1380, 1776, and 2286, respectively. Also, as before, we published a selection of the papers in a special issue of a prestigious journal. We received 178 submissions. Each paper was assigned to four program c- mittee members, and 59 papers were selected. This was 80% more than the previous record for the number of submissions. We feel lucky to have been able to build on the solid foundation provided by the increasingly successful previous LATINs. And we are very grateful for the tireless work of Pablo Mart ́ ?nez L ́ opez, the Local Arrangements Chair. Finally, we thank Springer-Verlag for publishing these proceedings in its LNCS series.

LATIN 2006: Theoretical Informatics

LATIN 2006: Theoretical Informatics PDF Author: José R. Correa
Publisher: Springer Science & Business Media
ISBN: 354032755X
Category : Computers
Languages : en
Pages : 828

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.

LATIN 2000: Theoretical Informatics

LATIN 2000: Theoretical Informatics PDF Author: Gaston H. Gonnet
Publisher: Springer Science & Business Media
ISBN: 3540673067
Category : Computers
Languages : en
Pages : 497

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 4th International Conference, Latin American Theoretical Informatics, LATIN 2000, held in Punta del Est, Uruguay, in April 2000. The 42 revised papers presented were carefully reviewed and selected from a total of 87 submissions from 26 countries. Also included are abstracts or full papers of several invited talks. The papers are organized in topical sections on random structures and algorithms, complexity, computational number theory and cryptography, algebraic algorithms, computability, automata and formal languages, and logic and programming theory.

Mathematical Foundations of Computer Science 1995

Mathematical Foundations of Computer Science 1995 PDF Author: Juraj Wiedermann
Publisher: Springer Science & Business Media
ISBN: 9783540602460
Category : Computers
Languages : en
Pages : 614

Get Book Here

Book Description
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.