Atjaunināt sīkdatņu piekrišanu

E-grāmata: Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 9139
  • Izdošanas datums: 22-Jun-2015
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319202976
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 9139
  • Izdošanas datums: 22-Jun-2015
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319202976
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.

The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

Propositional Proofs in Frege and Extended Frege Systems.- Circuit
Complexity Meets Ontology-Based Data Access.- NEXP-Completeness and Universal
Hardness Results for Justification Logic.- A Combinatorial Algorithm for the
Planar Multi flow Problem with Demands Located on Three Holes.- Generalized
LR Parsing for Grammars with Contexts.- On Compiling Structured CNFs to
OBDDs.- Satisfiability of ECTL* with Tree Constraints.- On Growth and
Fluctuation of k-Abelian Complexity.- A Polynomial-Time Algorithm for
Outerplanar Diameter Improvement.- Editing to a Planar Graph of Given
Degrees.- On the Satisfiability of Quantum Circuits of Small Treewidth.-
Equations over Free Inverse Monoids with Idempotent Variables.- A Logical
Characterization of Timed Pushdown Languages.- An In-place Priority Queue
with O(1) Time for Push and lg n + O(1) Comparisons for Pop.- Resolution
Complexity of Perfect Matching Principles for Sparse Graphs.- Operations on
Self-verifying Finite Automata.- Automath Type Inclusion in Barendregts
Cube.- Circuit Lower Bounds for Average-Case MA.- Making Randomness Public in
Unbounded-Round Information Complexity.- First-Order Logic Definability of
Free Languages.- Representation of (Left) Ideal Regular Languages by
Synchronizing Automata.- Some Properties of Antistochastic Strings.-
Approximation and Exact Algorithms for Special Cases of Connected f-Factors.-
Rewriting Higher-Order Stack Trees.- Interacting with Modal Logics in the Coq
Proof Assistant.- Delay Games with WMSOžU Winning Conditions.- Asymptotically
Precise Ranking Functions for Deterministic Size-Change Systems.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97833192029762e.html
Keywords: