Mogens Nielsen

Branislav Rovan

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.

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Mathematical Foundations of Computer Science 2000

Jaroslav Nešetřil

Jean-Pierre Gazeau

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists and specialists of theoretical informatics and discrete mathematics in order to learn about developments in cryptography, algorithmics, and more.

From Numbers and Languages to (quantum) Cryptography Security

Physics and Theoretical Computer Science

Peter Widmayer

Vladimiro Sassone

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 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.

37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings

Mathematical Foundations of Computer Science 2012

Peter Vojtas

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.

28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings

Mathematical Foundations of Computer Science 2003

A Min Tjoa

Bart Preneel

Viliam Geffert

Július Štuller

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification.

40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

SOFSEM 2014: Theory and Practice of Computer Science

Branislav Rovan

About

Books

Join the club