Computer Science - Theory and Applications

Discover the cutting-edge insights in "Computer Science - Theory and Applications," authored by Andrei A. Bulatov and published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG in 2013. This comprehensive volume spans 445 pages and features the proceedings of the 8th International Computer Science Symposium held in Ekaterinburg, Russia. Within these pages, you will find 29 meticulously reviewed full papers selected from a competitive pool of 52 submissions. The content is expertly organized into topical sections focusing on algorithms, logic, and proof complexity, making it an invaluable resource for researchers and practitioners in the field of computer science. Enhance your understanding of contemporary theories and applications in this essential addition to your academic library.