STACS 2006
STACS 2006

Author: Bruno Durand

Publisher: Springer

Published: 2006-03-01

Total Pages: 730

ISBN-13: 3540322884

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.

Mathematical Foundations of Computer Science 2010
Mathematical Foundations of Computer Science 2010

Author: Petr Hlineny

Publisher: Springer Science & Business Media

Published: 2010-08-10

Total Pages: 730

ISBN-13: 364215154X

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.

Mathematical Foundations of Computer Science 2007
Mathematical Foundations of Computer Science 2007

Author: Ludek Kucera

Publisher: Springer Science & Business Media

Published: 2007-08-15

Total Pages: 779

ISBN-13: 354074455X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations.

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Author: C.R. Ramakrishnan

Publisher: Springer Science & Business Media

Published: 2008-03-18

Total Pages: 533

ISBN-13: 3540787992

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

Computing and Combinatorics
Computing and Combinatorics

Author: Bin Fu

Publisher: Springer

Published: 2011-07-18

Total Pages: 662

ISBN-13: 364222685X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011. The 54 revised full papers presented were carefully reviewed and selected from 136 submissions. Topics covered are algorithms and data structures; algorithmic game theory and online algorithms; automata, languages, logic, and computability; combinatorics related to algorithms and complexity; complexity theory; computational learning theory and knowledge discovery; cryptography, reliability and security, and database theory; computational biology and bioinformatics; computational algebra, geometry, and number theory; graph drawing and information visualization; graph theory, communication networks, and optimization; parallel and distributed computing.

STACS 2006
STACS 2006

Author: Bruno Durand

Publisher: Springer Science & Business Media

Published: 2006-02-14

Total Pages: 730

ISBN-13: 3540323015

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.

Automata, Languages and Programming
Automata, Languages and Programming

Author: Luca Aceto

Publisher: Springer Science & Business Media

Published: 2008-06-24

Total Pages: 751

ISBN-13: 3540705821

DOWNLOAD EBOOK

ICALP 2008, the 35th edition of the International Colloquium on Automata, Languages and Programming, was held in Reykjavik, Iceland, July 7–11, 2008. ICALP is a series of annual conferences of the European Association for Th- reticalComputer Science(EATCS) which ?rsttook placein 1972.This year,the ICALP program consisted of the established Track A (focusing on algorithms, automata,complexityandgames)andTrackB(focusing onlogic,semanticsand theory of programming), and of the recently introduced Track C (focusing on security and cryptography foundations). In response to the call for papers, the Program Committees received 477 submissions, the highest ever: 269 for Track A, 122 for TrackB and 86 for Track C. Out of these, 126 papers were selected for inclusion in the scienti?c program: 70 papers for Track A, 32 for Track B and 24 for Track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected. ICALP 2008 consisted of ?ve invited lectures and the contributed papers.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

Author: V. Arvind

Publisher: Springer

Published: 2007-11-27

Total Pages: 571

ISBN-13: 354077050X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were carefully reviewed. They provide original research results in fundamental aspects of computer science and reports from the frontline of software technology and theoretical computer science.

LATIN 2010: Theoretical Informatics
LATIN 2010: Theoretical Informatics

Author: Alejandro López-Ortiz

Publisher: Springer

Published: 2010-04-22

Total Pages: 726

ISBN-13: 3642122000

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Latin American Symposium on Theoretical Informatics, LATIN 2010, held in Oaxaca, Mexico; in April 2010. The 56 revised full papers presented together with the abstracts of 4 invited plenary talks were carefully reviewed and selected from 155 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.

Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures

Author: Frank Pfenning

Publisher: Springer

Published: 2013-02-17

Total Pages: 471

ISBN-13: 3642370756

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.