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

Editors-in-chief: Ganesh, Vijay, Kotsireas, Ilias S.

ISSN: 2297-0576

Books & CD ROMs

Show all 29 results

  • Temporal Type Theory
    • eBook
      Immediate eBook download after purchase

      71,68 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      88,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      71,68 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      88,39 €
      (gross)

    Temporal Type Theory

    A Topos-Theoretic Approach to Systems and Behavior

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

    Schultz, Patrick, Spivak, David I. 2019

    Price from 71,68 €
    Available Formats:
    Information
    71,68 € (gross)
    ISBN 978-3-030-00704-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
    88,39 € (gross)
    ISBN 978-3-030-00703-4
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
  • Advances in Proof Theory
    • eBook
      Immediate eBook download after purchase

      93,08 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      93,08 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

    Advances in Proof Theory

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

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

    Price from 93,08 €
    Available Formats:
    Information
    93,08 € (gross)
    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
    114,39 € (gross)
    ISBN 978-3-319-29196-3
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    114,39 € (gross)
    ISBN 978-3-319-80513-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Mathematical Logic
    • eBook
      Immediate eBook download after purchase

      50,28 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      62,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      50,28 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      62,39 €
      (gross)

    Mathematical Logic

    Foundations for Information Science

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

    Li, Wei 2014

    Price from 50,28 €
    Available Formats:
    Information
    50,28 € (gross)
    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
    62,39 € (gross)
    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

      71,68 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      103,99 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      88,39 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      71,68 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      103,99 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      88,39 €
      (gross)

    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 71,68 €
    Available Formats:
    Information
    71,68 € (gross)
    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
    103,99 € (gross)
    ISBN 978-3-319-05445-2
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    88,39 € (gross)
    ISBN 978-3-319-35058-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Notes on Introductory Combinatorics
    • eBook
      Immediate eBook download after purchase

      64,19 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      77,99 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      64,19 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      77,99 €
      (gross)

    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 64,19 €
    Available Formats:
    Information
    64,19 € (gross)
    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
    77,99 € (gross)
    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

      67,40 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,19 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,40 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,19 €
      (gross)

    Graph-Based Proof Procedures for Horn Clauses

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

    RAATZ 1990

    Price from 67,40 €
    Available Formats:
    Information
    67,40 € (gross)
    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
    83,19 € (gross)
    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

      67,40 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,19 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      67,40 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      83,19 €
      (gross)

    Lecture Notes on Bucket Algorithms

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

    DEVROYE 1986

    Price from 67,40 €
    Available Formats:
    Information
    67,40 € (gross)
    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
    83,19 € (gross)
    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

      58,84 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      135,19 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      72,75 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      58,84 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      135,19 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      72,75 €
      (gross)

    Bounded Queries in Recursion Theory

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

    Levine, William S., Martin, Georgia 1999

    Price from 58,84 €
    Available Formats:
    Information
    58,84 € (gross)
    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
    135,19 € (gross)
    ISBN 978-0-8176-3966-2
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    72,75 € (gross)
    ISBN 978-1-4612-6848-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Logical Methods
    • eBook
      Immediate eBook download after purchase

      117,69 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      187,15 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      155,99 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      117,69 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      187,15 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      155,99 €
      (gross)

    Logical Methods

    In Honor of Anil Nerode’s Sixtieth Birthday

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

    Crossley, J.N., Remmel, J.B., Shore, R., Sweedler, M.E. (Eds.) 1993

    Price from 117,69 €
    Available Formats:
    Information
    117,69 € (gross)
    ISBN 978-1-4612-0325-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
    187,15 € (gross)
    ISBN 978-0-8176-3690-6
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    155,99 € (gross)
    ISBN 978-1-4612-6708-9
    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

      74,89 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      93,59 €
      (gross)
      All
    • eBook
      Immediate eBook download after purchase

      74,89 €
      (gross)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      114,39 €
      (gross)

      Softcover
      Usually dispatched within 3 to 5 business days.

      93,59 €
      (gross)

    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 74,89 €
    Available Formats:
    Information
    74,89 € (gross)
    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
    114,39 € (gross)
    ISBN 978-3-7643-6654-4
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    93,59 € (gross)
    ISBN 978-3-0348-9415-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 29

Alerts for this Series

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