• Produktbild: Computer Science – Theory and Applications
  • Produktbild: Computer Science – Theory and Applications
Band 10304

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.05.2017

Abbildungen

X, 337 p. 30 illus.

Herausgeber

Pascal Weil

Verlag

Springer

Seitenzahl

337

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-58746-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.05.2017

Abbildungen

X, 337 p. 30 illus.

Herausgeber

Pascal Weil

Verlag

Springer

Seitenzahl

337

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-58746-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Computer Science – Theory and Applications
  • Produktbild: Computer Science – Theory and Applications

  • 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.