Utvidet returrett til 31. januar 2025

Bøker i Texts in Theoretical Computer Science. An EATCS Series-serien

Filter
Filter
Sorter etterSorter Serierekkefølge
  • av Leonid Libkin
    1 239,-

    Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.

  • - An Algorithmic Point of View
    av Daniel Kroening & Ofer Strichman
    637 - 1 069,-

    This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

  • - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    av Juraj Hromkovic
    809,-

    Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech nologies.

  • - With Applications in Computer Science
    av Stasys Jukna
    818 - 1 239,-

    Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists. The text emphasizes theorems with particularly elegant and informative proofs, and presents a wide range of combinatorial tools.

  • - Introduction to Design Paradigms
    av J. Hromkovic
    800,-

    Systematically teaches key paradigmic algorithm design methodsProvides a deep insight into randomization

  • - A Tree-Based Approach
    av Frank Drewes
    811,-

  • - Sequential Decisions Based on Algorithmic Probability
    av Marcus Hutter
    1 239,-

    A solution would have enormous implications on our society, and there are reasons to believe that the AI problem can be solved in my expected lifetime. The science of artificial intelligence (AI) may be defined as the construction of intelligent systems and their analysis. The goal of AI systems should be to be useful to humans.

  • av Wan Fokkink
    639,-

    This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

  • av Eric Badouel, Luca Bernardinello & Philippe Darondeau
    898,-

  • av Roberto Bruni & Ugo Montanari
    756,-

    This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract.

  • av Corrado Priami, Luca Marchetti & Vo Hong Thanh
    609,-

    Starting from basic simulation algorithms, the book also introduces more advanced techniques that support delays, diffusion in space, or that are based on hybrid simulation strategies.This is a valuable self-contained resource for graduate students and practitioners in computer science, biology and bioinformatics.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.