Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Continue reading
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Continue reading
SOFSEM 2005: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
Continue reading
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Continue reading
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Continue reading
Theoretical Computer Science (vol. # 3895)
the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Continue reading
Theoretical and Experimental DNA Computation
This book provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains ...
Continue reading
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Continue reading
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Continue reading
