Logo - springer
Slogan - springer

New & Forthcoming Titles | Progress in Computer Science and Applied Logic (Titles in this series)

Progress in Computer Science and Applied Logic

Progress in Computer Science and Applied Logic

Editor-in-chief: Grädel, Erich

up to Vol. 7 (1987): Progress in Computer Science, ed. by E. Coffman et al.

ISSN: 2297-0576

Books & CD ROMs

Show all 28 results

  • Advances in Proof Theory
    • eBook
      Immediate eBook download after purchase

      $89.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $119.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $89.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $119.00
      (net)

    Advances in Proof Theory

    Series: Progress in Computer Science and Applied Logic, Vol. 28

    Kahle, Reinhard, Strahm, Thomas, Studer, Thomas (Eds.) 2016

    Price from $89.00
    Available Formats:
    Information
    $89.00 (net)
    ISBN 978-3-319-29198-7
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $119.00 (net)
    ISBN 978-3-319-29196-3
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
  • Mathematical Logic
    • eBook
      Immediate eBook download after purchase

      $59.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $79.99
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $59.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $79.99
      (net)

    Mathematical Logic

    Foundations for Information Science

    Series: Progress in Computer Science and Applied Logic, Vol. 25

    Li, Wei 2014

    Price from $59.99
    Available Formats:
    Information
    $59.99 (net)
    ISBN 978-3-0348-0862-0
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $79.99 (net)
    ISBN 978-3-0348-0861-3
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
  • Perspectives in Computational Complexity
    • eBook
      Immediate eBook download after purchase

      $84.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $109.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days. October 7, 2016

      All
    • eBook
      Immediate eBook download after purchase

      $84.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $109.00
      (net)

    Perspectives in Computational Complexity

    The Somenath Biswas Anniversary Volume

    Series: Progress in Computer Science and Applied Logic, Vol. 26

    Agrawal, Manindra, Arvind, Vikraman (Eds.) 2014

    Price from $84.99
    Available Formats:
    Information
    $84.99 (net)
    ISBN 978-3-319-05446-9
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $109.00 (net)
    ISBN 978-3-319-05445-2
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    ISBN 978-3-319-35058-5
    Usually dispatched within 3 to 5 business days. October 7, 2016
    Softcover
    Softcover (also known as softback) version
  • Notes on Introductory Combinatorics
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Notes on Introductory Combinatorics

    Series: Progress in Computer Science and Applied Logic, Vol. 4

    Polya, George, Tarjan, Robert E., Woods, Donald R. 1983

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-1-4757-1101-1
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-8176-3170-3
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Graph-Based Proof Procedures for Horn Clauses
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Graph-Based Proof Procedures for Horn Clauses

    Series: Progress in Computer Science and Applied Logic, Vol. 10

    RAATZ 1990

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4899-3556-4
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-8176-3530-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Lecture Notes on Bucket Algorithms
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Lecture Notes on Bucket Algorithms

    Series: Progress in Computer Science and Applied Logic, Vol. 6

    DEVROYE 1986

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-1-4899-3531-1
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-8176-3328-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Bounded Queries in Recursion Theory
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Bounded Queries in Recursion Theory

    Series: Progress in Computer Science and Applied Logic, Vol. 16

    Levine, William S., Martin, Georgia 1999

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-1-4612-0635-4
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $169.00 (net)
    ISBN 978-0-8176-3966-2
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $99.00 (net)
    ISBN 978-1-4612-6848-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Real-Time Control of Walking
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Real-Time Control of Walking

    Series: Progress in Computer Science and Applied Logic, Vol. 7

    Donner, M.D. 1987

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-1-4612-4990-0
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-8176-3332-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Cryptographic Applications of Analytic Number Theory
    • eBook
      Immediate eBook download after purchase

      $129.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $179.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $129.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $179.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

    Cryptographic Applications of Analytic Number Theory

    Complexity Lower Bounds and Pseudorandomness

    Series: Progress in Computer Science and Applied Logic, Vol. 22

    Shparlinski, Igor 2003

    Price from $129.00
    Available Formats:
    Information
    $129.00 (net)
    ISBN 978-3-0348-8037-4
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $179.00 (net)
    ISBN 978-3-7643-6654-4
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $169.00 (net)
    ISBN 978-3-0348-9415-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Applied Probability— Computer Science: The Interface
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)
      All
    • eBook
      Immediate eBook download after purchase

      $74.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Applied Probability— Computer Science: The Interface

    Series: Progress in Computer Science and Applied Logic, Vol. 3

    Disney, Ralph L., Ott, Teunis J. 1982

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-1-4612-5798-1
    Immediate eBook download after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-0-8176-3093-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 28

Alerts for this Series

Get the table of contents of every new volume published in Progress in Computer Science and Applied Logic.