Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10846)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CSR: International Computer Science Symposium in Russia
Conference proceedings info: CSR 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (27 papers)
-
Front Matter
About this book
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.
The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as 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; and proof theory and applications of logic to computer science.Keywords
- approximation algorithms
- artificial intelligence
- automata theory
- bits
- case based reasoning (cbr)
- data mining
- design and analysis of algorithms
- discrete mathematics
- finite automata
- graph theory
- information complexity
- knowledge based systems
- machine learning
- models of computation
- parallel computing methodologies
- problem solving
- symbolic and algebraic manipulation
- data structures
Editors and Affiliations
-
Department of Informatics, University of Bergen, Bergen, Norway
Fedor V. Fomin
-
Steklov Mathematical Institute, Moscow, Russia
Vladimir V. Podolskii
Bibliographic Information
Book Title: Computer Science – Theory and Applications
Book Subtitle: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
Editors: Fedor V. Fomin, Vladimir V. Podolskii
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-90530-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-90529-7Published: 25 April 2018
eBook ISBN: 978-3-319-90530-3Published: 24 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXXII, 335
Number of Illustrations: 41 b/w illustrations
Topics: Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures, Artificial Intelligence