This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, ...
Lire la suite
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suite
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion ...
Lire la suite
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Lire la suite
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Lire la suite
Batini and Scannapieco present a comprehensive and systematic introduction to the wide set of issues related to data quality. ...
Lire la suite
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose ...
Lire la suite
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose ...
Lire la suite
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Lire la suite
the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Lire la suite