WorldCat Identities

European Association for Theoretical Computer Science

Overview
Works: 257 works in 519 publications in 1 language and 10,920 library holdings
Genres: Conference proceedings  Periodicals 
Roles: Editor, Other
Classifications: QA267, 511.3
Publication Timeline
Key
Publications about European Association for Theoretical Computer Science Publications about European Association for Theoretical Computer Science
Publications by European Association for Theoretical Computer Science Publications by European Association for Theoretical Computer Science
Most widely held works by European Association for Theoretical Computer Science
Automata, languages and programming 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings by Luís Caires ( )
4 editions published in 2005 in English and held by 474 WorldCat member libraries worldwide
"The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005."
Automata, languages and programming 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings by L Arge ( )
5 editions published in 2007 in English and held by 440 WorldCat member libraries worldwide
"The 34th International Colloquium on Automata, Languages and Programming was held in Wroclaw, Poland in July 2007. This volume features the refereed proceedings from that meeting. Seventy-six full papers are presented, together with four invited lectures. Each paper, submitted by an expert in the field, was carefully reviewed to ensure that all the papers in this volume are accurate, thorough, and easy to follow. The papers are grouped into three major tracks covering algorithms, automata, complexity, and games; logic, semantics, and theory of programming; and security and cryptography foundations."--Publisher's website
Automata, languages and programming 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings by Languages, and Programming International Colloquium on Automata ( )
4 editions published in 2006 in English and held by 430 WorldCat member libraries worldwide
Theoretical computer science ( )
in English and No Linguistic content and held by 332 WorldCat member libraries worldwide
Semantics of data types international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings by G Kahn ( )
3 editions published in 1984 in English and held by 301 WorldCat member libraries worldwide
Experimental and efficient algorithms : third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings by Celso C Ribeiro ( Book )
3 editions published in 2004 in English and held by 300 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Third International Workshop on Experimental and Efficient Algorithms, WEA 2004, held in Angra dos Reis, Brazil in May 2004. The 40 revised full papers presented together with abstracts of two invited talks were carefully reviewed and selected from numerous submissions. The book is devoted to the areas of design, analysis, and experimental evaluation of algorithms. Among the topics covered are scheduling, heuristics, combinatorial optimization, evolutionary optimization, graph computations, labeling, robot navigation, shortest path algorithms, flow problems, searching, randomization and derandomization, string matching, graph coloring, networking, error detecting codes, timetabling, sorting, energy minimization, etc
Bulletin of the European Association for Theoretical Computer Science by European Association for Theoretical Computer Science ( )
in English and Undetermined and held by 293 WorldCat member libraries worldwide
Theoretical computer science ( )
in English and held by 283 WorldCat member libraries worldwide
Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 by Jan Paredaens ( Book )
2 editions published in 1984 in English and held by 283 WorldCat member libraries worldwide
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 by Wilfried Brauer ( Book )
5 editions published in 1985 in English and held by 260 WorldCat member libraries worldwide
Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 by J Díaz ( Book )
3 editions published in 1983 in English and held by 259 WorldCat member libraries worldwide
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 by Hartmut Ehrig ( Book )
3 editions published in 1983 in English and held by 259 WorldCat member libraries worldwide
Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings by Michael S Paterson ( Book )
6 editions published in 1990 in English and held by 255 WorldCat member libraries worldwide
"This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic 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. This volume contains five invited papers and 52 papers selected from 250 submitted."--PUBLISHER'S WEBSITE
Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 by Shimon Even ( Book )
3 editions published in 1981 in English and held by 249 WorldCat member libraries worldwide
Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 by M Nielsen ( Book )
2 editions published in 1982 in English and held by 249 WorldCat member libraries worldwide
Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 by J. W. de Bakker ( Book )
4 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings by Laurent Kott ( Book )
4 editions published in 1986 in English and held by 247 WorldCat member libraries worldwide
Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings by G Ausiello ( Book )
5 editions published in 1989 in English and held by 237 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
Automata, languages and programming. 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974 by Jacques Loeckx ( Book )
5 editions published in 1974 in English and held by 233 WorldCat member libraries worldwide
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings by B Monien ( Book )
3 editions published in 1989 in English and held by 230 WorldCat member libraries worldwide
This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.59 for Bulletin o ... to 0.86 for Theoretica ...)
Alternative Names
E.A.T.C.S
EATCS.
EATCS Abkuerzung
EATCS (European Association for Theoretical Computer Science)
European Association for Theoretical Computer Science
European Association on Theoretical Computer Science
Languages
English (80)
Covers