Mathematical Foundations of Computer Science 2000
Mathematical Foundations of Computer Science 2000

Author: Mogens Nielsen

Publisher: Springer

Published: 2003-06-29

Total Pages: 724

ISBN-13: 3540446125

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava/Slovakia in August/September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an excellent overview on current research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing will benefit from this book.

Mathematical Foundations of Computer Science 1996
Mathematical Foundations of Computer Science 1996

Author: Wojciech Penczek

Publisher: Springer Science & Business Media

Published: 1996-08-07

Total Pages: 614

ISBN-13: 9783540615507

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

Mathematical Foundations of Computer Science 1988
Mathematical Foundations of Computer Science 1988

Author: Michal P. Chytil

Publisher: Springer Science & Business Media

Published: 1988-08-10

Total Pages: 582

ISBN-13: 9783540501107

DOWNLOAD EBOOK

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

Mathematical Foundations of Computer Science 2005
Mathematical Foundations of Computer Science 2005

Author: Joanna Jedrzejowicz

Publisher: Springer Science & Business Media

Published: 2005-08-17

Total Pages: 829

ISBN-13: 3540287027

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 revised full papers presented together with full papers or abstracts of 7 invited talks were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from quantum computing, approximation, automata, circuits, scheduling, games, languages, discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

Mathematical Foundations of Computer Science 2003
Mathematical Foundations of Computer Science 2003

Author: Branislav Rovan

Publisher: Springer Science & Business Media

Published: 2003-08-11

Total Pages: 706

ISBN-13: 3540406719

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003, held in Bratislava, Slovakia in August 2003. The 55 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.