Logo - springer
Slogan - springer

New & Forthcoming Titles | Texts & Monographs in Symbolic Computation (Titles in this series)

Texts & Monographs in Symbolic Computation

Texts & Monographs in Symbolic Computation

A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

Series Ed.: Paule, Peter
Founded by: Buchberger, Bruno

ISSN: 0943-853X

Books & CD ROMs

Show all 17 results

  • Computational Origami
    • eBook
      Due: March 10, 2018

      Hardcover
      Due: February 10, 2018

      All

    Computational Origami

    Series: Texts & Monographs in Symbolic Computation

    Ida, Tetsuo 2017

    Available Formats:
    Information
    ISBN 978-3-319-59189-6
    Due: March 10, 2018
    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
    ISBN 978-3-319-59188-9
    Due: February 10, 2018
    Hardcover
    Hardcover version
  • Correct Software in Web Applications and Web Services
    • eBook
      Immediate eBook download after purchase

      $99.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $129.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days. November 18, 2016

      All
    • eBook
      Immediate eBook download after purchase

      $99.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

      $129.00
      (net)

    Correct Software in Web Applications and Web Services

    Series: Texts & Monographs in Symbolic Computation

    Thalheim, B., Schewe, K.-D., Prinz, A., Buchberger, B. (Eds.) 2015

    Price from $99.00
    Available Formats:
    Information
    $99.00 (net)
    ISBN 978-3-319-17112-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
    $129.00 (net)
    ISBN 978-3-319-17111-1
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    ISBN 978-3-319-34727-1
    Usually dispatched within 3 to 5 business days. November 18, 2016
    Softcover
    Softcover (also known as softback) version
  • Computer Algebra in Quantum Field Theory
    • eBook
      Immediate eBook download after purchase

      $139.00
      (net)

      Hardcover
      Usually dispatched within 3 to 5 business days.

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

      $179.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $179.00
      (net)

    Computer Algebra in Quantum Field Theory

    Integration, Summation and Special Functions

    Series: Texts & Monographs in Symbolic Computation

    Schneider, Carsten, Blümlein, Johannes (Eds.) 2013

    Price from $139.00
    Available Formats:
    Information
    $139.00 (net)
    ISBN 978-3-7091-1616-6
    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-7091-1615-9
    Usually dispatched within 3 to 5 business days.
    Hardcover
    Hardcover version
    Information
    $179.00 (net)
    ISBN 978-3-7091-4849-5
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Mechanical Theorem Proving in Geometries
    • 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)

    Mechanical Theorem Proving in Geometries

    Basic Principles

    Series: Texts & Monographs in Symbolic Computation

    Wu, Wen-tsün 1994

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-3-7091-6639-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-3-211-82506-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Automated Practical Reasoning
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)
    • eBook
      Immediate eBook download after purchase

      $69.99
      (net)

    Automated Practical Reasoning

    Algebraic Approaches

    Series: Texts & Monographs in Symbolic Computation

    Pfalzgraf, Jochen, Wang, Dongming (Eds.) 1995

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-7091-6604-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.
  • Polynomial Algorithms in Computer Algebra
    • eBook
      Immediate eBook download after purchase

      $109.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $109.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $139.00
      (net)

    Polynomial Algorithms in Computer Algebra

    Series: Texts & Monographs in Symbolic Computation

    Winkler, Franz 1996

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-3-7091-6571-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
    $139.00 (net)
    ISBN 978-3-211-82759-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Computer - Human Interaction in Symbolic Computation
    • eBook
      Immediate eBook download after purchase

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $99.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $129.00
      (net)

    Computer - Human Interaction in Symbolic Computation

    Series: Texts & Monographs in Symbolic Computation

    Kajler, Norbert (Ed.) 1998

    Price from $99.00
    Available Formats:
    Information
    $99.00 (net)
    ISBN 978-3-7091-6461-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
    $129.00 (net)
    ISBN 978-3-211-82843-4
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Quantifier Elimination and Cylindrical Algebraic Decomposition
    • 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)

    Quantifier Elimination and Cylindrical Algebraic Decomposition

    Series: Texts & Monographs in Symbolic Computation

    Caviness, Bob F., Johnson, Jeremy R. (Eds.) 1998

    Price from $74.99
    Available Formats:
    Information
    $74.99 (net)
    ISBN 978-3-7091-9459-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-3-211-82794-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Computer-Supported Calculus
    • 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)

    Computer-Supported Calculus

    Series: Texts & Monographs in Symbolic Computation

    Ben-Israel, A., Gilbert, R. 2002

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-7091-6146-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
    $99.00 (net)
    ISBN 978-3-7091-7230-8
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Elimination Methods
    • eBook
      Immediate eBook download after purchase

      $109.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $109.00
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $139.00
      (net)

    Elimination Methods

    Series: Texts & Monographs in Symbolic Computation

    Wang, D. 2001

    Price from $109.00
    Available Formats:
    Information
    $109.00 (net)
    ISBN 978-3-7091-6202-6
    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
    $139.00 (net)
    ISBN 978-3-211-83241-7
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 17