Mathematical Foundations of Computer Science 2001

Mathematical Foundations of Computer Science 2001

Author: Jiri Sgall

Publisher: Springer

Published: 2003-08-06

Total Pages: 735

ISBN-13: 3540446834

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS 2001, held in Marianske Lazne, Czech Republic in August 2001. The 51 revised full papers presented together with 10 invited contributions were carefully reviewed and selected from a total of 118 submissions. All current aspects of theoretical computer science are addressed ranging from mathematical logic and programming theory to algorithms, discrete mathematics, and complexity theory. Besides classical issues, modern topics like quantum computing are discussed as well.


Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

Author: Giuseppe F Italiano

Publisher: Springer

Published: 2015-08-10

Total Pages: 482

ISBN-13: 3662480573

DOWNLOAD EBOOK

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).


Mathematics for Computer Science

Mathematics for Computer Science

Author: Eric Lehman

Publisher:

Published: 2017-03-08

Total Pages: 988

ISBN-13: 9789888407064

DOWNLOAD EBOOK

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.


Foundations of Computation

Foundations of Computation

Author: Carol Critchlow

Publisher:

Published: 2011

Total Pages: 256

ISBN-13:

DOWNLOAD EBOOK

Foundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming. The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.


Mathematical Foundations of Computer Science 2013

Mathematical Foundations of Computer Science 2013

Author: Krishnendu Chatterjee

Publisher: Springer

Published: 2013-08-16

Total Pages: 869

ISBN-13: 3642403131

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.


Mathematical Foundations of Computer Science 2014

Mathematical Foundations of Computer Science 2014

Author: Ersébet Csuhaj-Varjú

Publisher: Springer

Published: 2014-08-12

Total Pages: 659

ISBN-13: 3662444658

DOWNLOAD EBOOK

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.


Mathematical Foundations of Computer Science 2011

Mathematical Foundations of Computer Science 2011

Author: Filip Murlak

Publisher: Springer Science & Business Media

Published: 2011-08-09

Total Pages: 630

ISBN-13: 3642229921

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 129 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.


Combinatorial Algorithms

Combinatorial Algorithms

Author: Sun-Yuan Hsieh

Publisher: Springer Nature

Published: 2023-06-02

Total Pages: 425

ISBN-13: 3031343476

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 34th International Workshop on Combinatorial Algorithms, IWOCA 2023, held in Tainan, Taiwan, during June 7–10, 2023. The 33 full papers included in this book were carefully reviewed and selected from 86 submissions. They were organized in topical sections as follows: algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawing and graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic and randomized algorithms; and streaming algorithms.


Treewidth, Kernels, and Algorithms

Treewidth, Kernels, and Algorithms

Author: Fedor V. Fomin

Publisher: Springer Nature

Published: 2020-04-20

Total Pages: 350

ISBN-13: 303042071X

DOWNLOAD EBOOK

This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.