Logo - springer
Slogan - springer

Engineering - Robotics | Robotics | Journals, Academic Books & Online Media

Books & CD Roms: 21 Results

Sort listing by:

Books & CD ROMs

  1 2 3  

  • Algol-like Languages
    • eBook
      download immediately 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
      download immediately 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
    download immediately 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
      download immediately 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
      download immediately 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)

    Algol-like Languages

    Series: Progress in Theoretical Computer Science

    O'Hearn, Peter, Tennent, Robert 1997

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-1-4612-4118-8
    download immediately 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
    $139.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
      download immediately after purchase

      $69.99
      (net)

      Hardcover
      The book title is in reprint. You can already preorder it.

      $99.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

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

      $69.99
      (net)

      Hardcover
      The book title is in reprint. You can already preorder it.

      $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
    download immediately 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
    The book title is in reprint. You can already preorder it.
    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
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • eBook
      download immediately 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
    download immediately 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
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • eBook
      download immediately 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
    download immediately 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
      download immediately after purchase

      $89.99
      (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
      download immediately after purchase

      $89.99
      (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.99
    Available Formats:
    Information
    $89.99 (net)
    ISBN 978-1-4612-0445-9
    download immediately 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
  • Algorithms for Random Generation and Counting: A Markov Chain Approach
    • eBook
      download immediately 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
      download immediately 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)

    Algorithms for Random Generation and Counting: A Markov Chain Approach

    Series: Progress in Theoretical Computer Science

    Sinclair, A. 1993

    Price from $129.00
    Available Formats:
    Information
    $129.00 (net)
    ISBN 978-1-4612-0323-0
    download immediately 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-3658-6
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $169.00 (net)
    ISBN 978-1-4612-6707-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Finite Automata, Formal Logic, and Circuit Complexity
    • eBook
      download immediately after purchase

      $119.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $169.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $149.00
      (net)
      All
    • eBook
      download immediately after purchase

      $119.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $169.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $149.00
      (net)

    Finite Automata, Formal Logic, and Circuit Complexity

    Series: Progress in Theoretical Computer Science

    Straubing, Howard 1994

    Price from $119.00
    Available Formats:
    Information
    $119.00 (net)
    ISBN 978-1-4612-0289-9
    download immediately 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-3719-4
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $149.00 (net)
    ISBN 978-1-4612-6695-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Categorical Combinators, Sequential Algorithms, and Functional Programming
    • eBook
      download immediately after purchase

      $149.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $189.00
      (net)
      All
    • eBook
      download immediately after purchase

      $149.00
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $199.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $189.00
      (net)

    Categorical Combinators, Sequential Algorithms, and Functional Programming

    Series: Progress in Theoretical Computer Science

    Curien, P.-L. 1993

    Price from $149.00
    Available Formats:
    Information
    $149.00 (net)
    ISBN 978-1-4612-0317-9
    download immediately 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-3654-8
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $189.00 (net)
    ISBN 978-1-4612-6704-1
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • The Graph Isomorphism Problem
    • eBook
      download immediately 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
      download immediately 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 Graph Isomorphism Problem

    Its Structural Complexity

    Series: Progress in Theoretical Computer Science

    Kobler, J., Schöning, U., Toran, Jacobo 1993

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-1-4612-0333-9
    download immediately 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-3680-7
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $139.00 (net)
    ISBN 978-1-4612-6712-6
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


10 of 21
  1 2 3