Logo - springer
Slogan - springer

New & Forthcoming Titles | Progress in Theoretical Computer Science (Titles in this series)

Progress in Theoretical Computer Science

Progress in Theoretical Computer Science

Discontinued Series
Although this series no longer publishes new content, the published titles listed below may be still available on-line (e. g. via the Springer Book Archives) and in print.

Books & CD ROMs

Show all 21 results

  • Algol-like Languages
    • eBook
      Immediate eBook download after purchase

      $129.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $199.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.

      $199.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

    Algol-like Languages

    Series: Progress in Theoretical Computer Science

    O'Hearn, Peter, Tennent, Robert 1997

    Price from $129.00
    Available Formats:
    Information
    $129.00 (net)
    ISBN 978-1-4757-3851-3
    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
    $199.00 (net)
    ISBN 978-0-8176-3937-2
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $169.00 (net)
    ISBN 978-1-4757-3853-7
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Algol-like Languages
    • eBook
      Immediate eBook download after purchase

      $129.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.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.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

    Algol-like Languages

    Series: Progress in Theoretical Computer Science

    O'Hearn, Peter, Tennent, Robert 1997

    Price from $129.00
    Available Formats:
    Information
    $129.00 (net)
    ISBN 978-1-4612-4118-8
    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-3880-1
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $169.00 (net)
    ISBN 978-1-4612-8661-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Nondeterminism in Algebraic Specifications and Algebraic Programs
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $69.99
      (net)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $99.00
      (net)

    Nondeterminism in Algebraic Specifications and Algebraic Programs

    Series: Progress in Theoretical Computer Science

    Hussmann 1993

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4684-6834-2
    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-3700-2
    This title is currently reprinting. You can pre-order your copy now.
    Hardcover
    Hardcover version
    Information
    $99.00 (net)
    ISBN 978-1-4684-6836-6
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Verifying Temporal Properties of Systems
    • 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)

    Verifying Temporal Properties of Systems

    Series: Progress in Theoretical Computer Science

    Bradfield, J.C. 1992

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4684-6819-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
    $99.00 (net)
    ISBN 978-1-4684-6821-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Canonical Equational Proofs
    • 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)

    Canonical Equational Proofs

    Series: Progress in Theoretical Computer Science

    Bachmair 1991

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4684-7118-2
    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-3555-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Logic of Domains
    • eBook
      Immediate eBook download after purchase

      $89.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      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.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $119.00
      (net)

    Logic of Domains

    Series: Progress in Theoretical Computer Science

    Zhang, G. 1991

    Price from $89.00
    Available Formats:
    Information
    $89.00 (net)
    ISBN 978-1-4612-0445-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
    $169.00 (net)
    ISBN 978-0-8176-3570-1
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $119.00 (net)
    ISBN 978-1-4612-6763-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Isomorphisms of Types
    • eBook
      Immediate eBook download after purchase

      $109.00
      (net)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $109.00
      (net)

      Hardcover
      This title is currently reprinting. You can pre-order your copy now.

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $139.00
      (net)

    Isomorphisms of Types

    from ?-calculus to information retrieval and language design

    Series: Progress in Theoretical Computer Science

    Di Cosmo, Roberto 1995

    Price from $99.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-1-4612-2572-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-3763-7
    This title is currently reprinting. You can pre-order your copy now.
    Hardcover
    Hardcover version
    Information
    $139.00 (net)
    ISBN 978-1-4612-7585-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Polynomial and Matrix Computations
    • eBook
      Immediate eBook download after purchase

      $139.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $199.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $139.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $199.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $179.00
      (net)

    Polynomial and Matrix Computations

    Fundamental Algorithms

    Series: Progress in Theoretical Computer Science

    Bini, Dario A., Pan, Victor 1994

    Price from $139.00
    Available Formats:
    Information
    $139.00 (net)
    ISBN 978-1-4612-0265-3
    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
    $199.00 (net)
    ISBN 978-0-8176-3786-6
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $179.00 (net)
    ISBN 978-1-4612-6686-0
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Subrecursive Programming Systems
    • eBook
      Immediate eBook download after purchase

      $99.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $99.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $129.00
      (net)

    Subrecursive Programming Systems

    Complexity & Succinctness

    Series: Progress in Theoretical Computer Science

    Royer, James S., Case, John 1994

    Price from $99.00
    Available Formats:
    Information
    $99.00 (net)
    ISBN 978-1-4612-0249-3
    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-3767-5
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $129.00 (net)
    ISBN 978-1-4612-6680-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • The Combinatory Programme
    • eBook
      Immediate eBook download after purchase

      $109.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $109.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $169.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $139.00
      (net)

    The Combinatory Programme

    Series: Progress in Theoretical Computer Science

    Engeler, Erwin 1995

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-1-4612-4268-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
    $169.00 (net)
    ISBN 978-0-8176-3801-6
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $139.00 (net)
    ISBN 978-1-4612-8716-2
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 21