Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Mentés helye:
Testületi szerző(k): | |
---|---|
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Cham : Springer International Publishing,
2017
|
Sorozat: | Lecture Notes in Computer Science ; 10304 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-319-58747-9 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
id |
opac-EUL01-000954401 |
---|---|
collection |
e-book |
institution |
L_042 EUL01 |
spelling |
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings edited by Pascal Weil Cham Springer International Publishing 2017 X, 337 p. ill. szöveg txt rdacontent számítógépes c rdamedia távoli hozzáférés cr rdacarrier szövegfájl PDF rda Lecture Notes in Computer Science 10304 Type Theory and Formalization of Mathematics -- Advances in Parameterized Verification of Population Protocols -- Verification of Quantum Computation and the Price of Trust -- Graph Sketching and Streaming: New Approaches for Analyzing Massive Graphs -- Concatenation Hierarchies: New Bottle, Old Wine -- Can We Locally Compute Sparse Connected Subgraphs -- Palindromic Decompositions with Gaps and Errors -- Cascade Heaps: Towards Time-Optimal Extractions -- Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets -- Parameterized Counting of Trees, Forests and Matroid Bases -- Generalized Dyck Shifts -- Green's Relations in Finite Transformation Semigroups -- Nondeterministic Unitary OBDDs -- Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) -- Turing Degree Spectra of Minimal Subshifts -- Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams -- Dynamic stabbing Queries with Sub-logarithmic Local Updates for Overlapping Intervals -- The Transformation Monoid of a Partially Lossy Queue -- Approximation Algorithms for the Maximum Carpool Matching Problem -- The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC=0 -- On Algorithmic Statistics for Space-bounded Algorithms -- Popularity in the Generalized Hospital Residents Setting -- Edit Distance Neighbourhoods of Input-driven Pushdown Automata -- The (Minimum) Rank of Typical Fooling-set Matrices -- On Probabilistic Algorithm for Solving Almost All Instances of the Set Partition Problem -- Dag-like Communication and Its Applications -- The Descriptive Complexity of Subgraph Isomorphism Without Numerics -- On a Generalization of Horn Constraint Systems. . 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. Nyomtatott kiadás: ISBN 9783319587462 Nyomtatott kiadás: ISBN 9783319587486 Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. könyv e-book Computer software. szoftver Computational complexity. Logic design. Computer science. számítástudomány Data structures (Computer scienc. Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021 Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market-codes/I17028 Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048 Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017 elektronikus könyv Weil, Pascal szerk. SpringerLink (Online service) közreadó testület International Computer Science Symposium in Russia 12. 2017 Kazan, Oroszország Lecture notes in computer science Online változat https://doi.org/10.1007/978-3-319-58747-9 Cham Springer International Publishing Imprint: Springer 2017 EUL01 |
language |
English |
format |
Book |
author2 |
Weil, Pascal, szerk. |
author_facet |
Weil, Pascal, szerk. SpringerLink (Online service), közreadó testület International Computer Science Symposium in Russia12.(2017) (Kazan, Oroszország) |
author_corporate |
SpringerLink (Online service), közreadó testület International Computer Science Symposium in Russia12.(2017) (Kazan, Oroszország) |
author_sort |
Weil, Pascal |
title |
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings |
spellingShingle |
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings Lecture Notes in Computer Science ; 10304 Computer software. szoftver Computational complexity. Logic design. Computer science. számítástudomány Data structures (Computer scienc. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Data Structures. elektronikus könyv |
title_sub |
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings |
title_short |
Computer Science – Theory and Applications |
title_full |
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings edited by Pascal Weil |
title_fullStr |
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings edited by Pascal Weil |
title_full_unstemmed |
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings edited by Pascal Weil |
title_auth |
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings |
title_sort |
computer science theory and applications 12th international computer science symposium in russia csr 2017 kazan russia june 8 12 2017 proceedings |
series |
Lecture Notes in Computer Science ; 10304 |
series2 |
Lecture notes in computer science |
publishDate |
2017 |
publishDateSort |
2017 |
physical |
X, 337 p. : ill. |
isbn |
978-3-319-58747-9 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-raw |
13504 |
callnumber-search |
13504 |
topic |
Computer software. szoftver Computational complexity. Logic design. Computer science. számítástudomány Data structures (Computer scienc. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Data Structures. elektronikus könyv |
topic_facet |
Computer software. szoftver Computational complexity. Logic design. Computer science. számítástudomány Data structures (Computer scienc. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Data Structures. elektronikus könyv Computer software. szoftver Computational complexity. Logic design. Computer science. számítástudomány Data structures (Computer scienc. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Data Structures. |
url |
https://doi.org/10.1007/978-3-319-58747-9 |
illustrated |
Illustrated |
first_indexed |
2023-12-26T23:17:34Z |
last_indexed |
2023-12-29T19:19:17Z |
recordtype |
opac |
publisher |
Cham : Springer International Publishing |
_version_ |
1786641340001419264 |
score |
13,371273 |
generalnotes |
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. |