Akademibokhandeln

Progress in Computer Science and Applied Logic – serie

Visar alla böcker i serien Progress in Computer Science and Applied Logic. Handla online eller reservera direkt i butik.

  1. Notes on Introductory Combinatorics

    Notes on Introductory Combinatorics

    Del 4 · George Polya, Robert E. Tarjan, Donald R. Woods · 1990

  2. Evolution of Programs

    Evolution of Programs

    Del 5 · DERSHOWITZ · 1983

  3. Lecture Notes on Bucket Algorithms

    Lecture Notes on Bucket Algorithms

    Del 6 · DEVROYE · 1985

  4. Real-Time Control of Walking

    Real-Time Control of Walking

    Del 7 · M.D. Donner · 1986

  5. Feasible Mathematics

    Feasible Mathematics

    Del 9 · S.R. Buss, P.J. Scott · 1990

  6. Graph-Based Proof Procedures for Horn Clauses

    Graph-Based Proof Procedures for Horn Clauses

    Del 10 · RAATZ · 1990

  7. Proof Theory for General Unification

    Proof Theory for General Unification

    Del 11 · W. Snyder · 1991

  8. Feasible Mathematics II

    Feasible Mathematics II

    Del 13 · Peter Clote, Jeffrey B. Remmel · 2011

  9. Symbolic Rewriting Techniques

    Symbolic Rewriting Techniques

    Del 15 · Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning · 2012

  10. Number Theoretic Methods in Cryptography

    Number Theoretic Methods in Cryptography

    Del 17 · Igor Shparlinski · 2012

  11. Interpolating Cubic Splines

    Interpolating Cubic Splines

    Del 18 · Gary D. Knott · 2012

  12. Introduction to Quantum Computing Algorithms

    Introduction to Quantum Computing Algorithms

    Del 19 · Arthur O. Pittenger · 1999

  13. Cryptography and Computational Number Theory

    Cryptography and Computational Number Theory

    Del 20 · Kwok Y. Lam, Igor Shparlinski, Huaxiong Wang, Chaoping Xing · 2012

  14. Automata Theory and its Applications

    Automata Theory and its Applications

    Del 21 · Bakhadyr Khoussainov, Anil Nerode · 2001

  15. Cryptographic Applications of Analytic Number Theory

    Cryptographic Applications of Analytic Number Theory

    Del 22 · Igor Shparlinski · 2013

  16. Coding, Cryptography and Combinatorics

    Coding, Cryptography and Combinatorics

    Del 23 · Keqin Feng, Harald Niederreiter, Chaoping Xing · 2012

  17. Mathematical Logic

    Mathematical Logic

    Del 25 · Wei Li · 2014

  18. Temporal Type Theory

    Temporal Type Theory

    Del 29 · Patrick Schultz, David I. Spivak · 2019

  19. Applied Probability-Computer Science: The Interface Volume 1

    Applied Probability-Computer Science: The Interface Volume 1

    Ralph L. Disney, Teunis J. Ott · 1982

  20. Logical Methods

    Logical Methods

    Crossley, John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler · 1994

  21. Bounded Queries in Recursion Theory

    Bounded Queries in Recursion Theory

    William Levine, Georgia Martin · 1998

  22. Learning and Geometry: Computational Approaches

    Learning and Geometry: Computational Approaches

    David Kueker, Carl Smith · 1995

  23. Applied Probability— Computer Science: The Interface

    Applied Probability— Computer Science: The Interface

    Ralph L. Disney, Teunis J. Ott · 1982

  24. Applied Probability-Computer Science: The Interface Volume 1

    Applied Probability-Computer Science: The Interface Volume 1

    R.L. Disney, T.J. Ott · 1983

  25. Graph-Theoretic Approach to Enterprise Network Dynamics

    Graph-Theoretic Approach to Enterprise Network Dynamics

    Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis · 2006

  26. Perspectives in Computational Complexity

    Perspectives in Computational Complexity

    Manindra Agrawal, Vikraman Arvind · 2014

  27. Advances in Proof Theory

    Advances in Proof Theory

    Reinhard Kahle, Thomas Strahm, Thomas Studer · 2016