Computer Science – Theory and Applications

12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Nonfiction, Computers, Database Management, Data Processing, General Computing, Programming
Cover of the book Computer Science – Theory and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319587479
Publisher: Springer International Publishing Publication: May 3, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319587479
Publisher: Springer International Publishing
Publication: May 3, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.

The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.

The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.

More books from Springer International Publishing

Cover of the book Ultra Low Noise CMOS Image Sensors by
Cover of the book Young Children's Play and Environmental Education in Early Childhood Education by
Cover of the book CT Virtual Hysterosalpingography by
Cover of the book Development of New Radical Cascades and Multi-Component Reactions by
Cover of the book High-Tc Copper Oxide Superconductors and Related Novel Materials by
Cover of the book Ancient Landscapes of Western North America by
Cover of the book Political Leadership and Charisma by
Cover of the book Morality, Governance, and Social Institutions by
Cover of the book Minimally Invasive Acute Care Surgery by
Cover of the book Mechanisms for CO2 Sequestration in Geological Formations and Enhanced Gas Recovery by
Cover of the book Probing Galaxy Evolution by Unveiling the Structure of Massive Galaxies Across Cosmic Time and in Diverse Environments by
Cover of the book Digital Logic for Computing by
Cover of the book Topology-Based Modeling of Textile Structures and Their Joint Assemblies by
Cover of the book Achieving Competitive Advantage through Quality Management by
Cover of the book Solving Hyperbolic Equations with Finite Volume Methods by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy