• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Computer Science -- Theory and Applications

      5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings

      AvFarid M. Ablaev,Ernst W. Mayr

      Häftad, Engelska, 2010

      Del i serien Lecture Notes in Computer Science

      549 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      The 5th International Computer Science Symposium in Russia (CSR 2010) was held June 16-20, 2010 in Kazan, Russia, hosted by the Institute of Informatics of the Tatarstan Academy of Sciences and the Kazan State University. It was the?fth eventinthe seriesofregularinternationalmeetings,followingCSR2006 in St. Petersburg, CSR 2007 in Ekaterinburg, CSR 2008 in Moscow, and CSR 2009 in Novosibirsk. The opening lecture was given by Alexander Razborov, and seven more invited plenary lectures were given by Susanne Albers, Fedor Fomin, Juraj Hromkovi? c,RichardJozsa,PrabhakarRaghavan,Miklos Santha,and Uwe Scho- .. ning. This volume contains all the accepted papers and, at varying detail, the abstracts or extended abstracts of the invited talks. The scope of the proposed topics for the symposium was quite broad and covered basically all areas of the foundationsof(meaning:theoretical)computerscience.Unlikeinpreviousyears, no special application track was scheduled. We received 62 valid submissions in total, and out of these the Program Committee selected 30 for acceptance.

      Produktinformation

      • Utgivningsdatum:2010-06-01
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:397
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642131813

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Diskret matematik inom Naturvetenskap och teknik

      Innehållsförteckning

      • Algorithms for Energy Management.- Sofic and Almost of Finite Type Tree-Shifts.- Proof-Based Design of Security Protocols.- Approximating the Minimum Length of Synchronizing Words Is Hard.- Realizability of Dynamic MSC Languages.- The max quasi-independent set Problem.- Equilibria in Quantitative Reachability Games.- Quotient Complexity of Closed Languages.- Right-Sequential Functions on Infinite Words.- Kernelization.- Zigzags in Turing Machines.- Frameworks for Logically Classifying Polynomial-Time Optimisation Problems.- Validating the Knuth-Morris-Pratt Failure Function, Fast and Online.- Identical Relations in Symmetric Groups and Separating Words with Reversible Automata.- Time Optimal d-List Colouring of a Graph.- The Cantor Space as a Generic Model of Topologically Presented Knowledge.- Algorithmics – Is There Hope for a Unified Theory?.- Classifying Rankwidth k-DH-Graphs.- Lower Bound on Average-Case Complexity of Inversion of Goldreich’s Function by Drunken Backtracking Algorithms.- A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem.- Balancing Bounded Treewidth Circuits.- Obtaining Online Ecological Colourings by Generalizing First-Fit.- Classical Simulation and Complexity of Quantum Computations.- Prefix-Free and Prefix-Correct Complexities with Compound Conditions.- Monotone Complexity of a Pair.- Symbolic Models for Single-Conclusion Proof Logics.- Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA.- Advancing Matrix Computations with Randomized Preprocessing.- Transfinite Sequences of Constructive Predicate Logics.- The Quantitative Analysis of User Behavior Online — Data, Models and Algorithms.- A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem.-Complexity of Propositional Proofs.- Quantization of Random Walks: Search Algorithms and Hitting Time.- Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems.- Growth of Power-Free Languages over Large Alphabets.- A Partially Synchronizing Coloring.- An Encoding Invariant Version of Polynomial Time Computable Distributions.- Prehistoric Phenomena and Self-referentiality.
      Hoppa över listan

      Du kanske också är intresserad av

      Ernst W. Mayr, Farid M. Ablaev - Computer Science -- Theory and Applications, E-bok

      Computer Science -- Theory and Applications

      Ernst W. Mayr, Farid M. Ablaev

      E-bok
      2010

      718 kr

      Evgenii V. Vorozhtsov, Ernst W. Mayr, Vladimir P. Gerdt - Computer Algebra in Scientific Computing, E-bok

      Computer Algebra in Scientific Computing

      Evgenii V. Vorozhtsov, Ernst W. Mayr, Vladimir P. Gerdt

      E-bok
      2009

      718 kr

      Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger - Lectures on Proof Verification and Approximation Algorithms, Häftad

      Lectures on Proof Verification and Approximation Algorithms

      Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger

      Häftad, 1998

      566 kr

      John  C. Mitchell, Ernst W. Mayr, Jean-Jacques Levy - Exploring New Frontiers of Theoretical Informatics, E-bok

      Exploring New Frontiers of Theoretical Informatics

      John C. Mitchell, Ernst W. Mayr, Jean-Jacques Levy

      E-bok
      2006

      1 926 kr

      Ernst W. Mayr - Graph-Theoretic Concepts in Computer Science, Häftad

      Graph-Theoretic Concepts in Computer Science

      Ernst W. Mayr

      Häftad, 2016

      549 kr

      Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing, Häftad

      Computer Algebra in Scientific Computing

      Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

      Häftad, 2010

      549 kr

      Evgenii V. Vorozhtsov, Ernst W. Mayr, Victor G. Ganzha - Computer Algebra in Scientific Computing, E-bok

      Computer Algebra in Scientific Computing

      Evgenii V. Vorozhtsov, Ernst W. Mayr, Victor G. Ganzha

      E-bok
      2005

      710 kr

      Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing CASC’99, Häftad

      Computer Algebra in Scientific Computing CASC’99

      Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov

      Häftad, 2011

      566 kr

      Ernst W. Mayr - Graph-Theoretic Concepts in Computer Science, E-bok

      Graph-Theoretic Concepts in Computer Science

      Ernst W. Mayr

      E-bok
      2016

      710 kr

      Ernst W. Mayr, Claude Puech - STACS 95, Häftad

      STACS 95

      Ernst W. Mayr, Claude Puech

      Häftad, 1995

      1 124 kr