Logo - springer
Slogan - springer

New & Forthcoming Titles | New & Forthcoming Titles Journals, Academic Books & Online Media | Springer

Books & CD Roms: 819 Results

Sort listing by:

Books & CD ROMs

  1 2 3 4 5 6 7 8  

  • Software Engineering for Self-Adaptive Systems III. Assurances
    • eBook
      Due: March 16, 2018

      Softcover
      Due: February 16, 2018

      All

    Software Engineering for Self-Adaptive Systems III. Assurances

    International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

    Series: Lecture Notes in Computer Science, Vol. 9640

    Subseries: Programming and Software Engineering

    de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (Eds.) 2017

    Available Formats:
    Information
    ISBN 978-3-319-74183-3
    Due: March 16, 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-74182-6
    Due: February 16, 2018
    Softcover
    Softcover (also known as softback) version
  • OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
    • eBook
      Due: March 8, 2018

      Softcover
      Due: February 8, 2018

      All

    OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

    4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 10679

    Subseries: Programming and Software Engineering

    Gorentla Venkata, Manjunath, Imam, Neena, Pophale, Swaroop (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-73814-7
    Due: March 8, 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-73813-0
    Due: February 8, 2018
    Softcover
    Softcover (also known as softback) version
  • Product-Focused Software Process Improvement
    • eBook
      Immediate eBook download after purchase

      Softcover
      Usually dispatched within 3 to 5 business days.

      All

    Product-Focused Software Process Improvement

    18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10611

    Subseries: Programming and Software Engineering

    Felderer, M. (et al.) (Eds.) 2017

    Available Formats:
    Information
    ISBN 978-3-319-69926-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
    ISBN 978-3-319-69925-7
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Practical Aspects of Declarative Languages
    • eBook
      Due: February 24, 2018

      Softcover
      Due: January 27, 2018

      All

    Practical Aspects of Declarative Languages

    20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10702

    Subseries: Programming and Software Engineering

    Calimeri, Francesco, Hamlen, Kevin, Leone, Nicola (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-73305-0
    Due: February 24, 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-73304-3
    Due: January 27, 2018
    Softcover
    Softcover (also known as softback) version
  • Verified Software. Theories, Tools, and Experiments
    • eBook
      Due: February 15, 2018

      Softcover
      Due: January 18, 2018

      All

    Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 10712

    Subseries: Programming and Software Engineering

    Paskevich, Andrei, Wies, Thomas (Eds.) 2017

    Available Formats:
    Information
    ISBN 978-3-319-72308-2
    Due: February 15, 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-72307-5
    Due: January 18, 2018
    Softcover
    Softcover (also known as softback) version
  • Performance Evaluation and Benchmarking for the Analytics Era
    • eBook
      Due: February 12, 2018

      Softcover
      Due: January 15, 2018

      All

    Performance Evaluation and Benchmarking for the Analytics Era

    9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 10661

    Subseries: Programming and Software Engineering

    Nambiar, Raghunath, Poess, Meikel (Eds.) 2018

    Available Formats:
    Information
    ISBN 978-3-319-72401-0
    Due: February 12, 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-72400-3
    Due: January 15, 2018
    Softcover
    Softcover (also known as softback) version
  • Formal Methods: Foundations and Applications
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days. December 16, 2017

      All
    • eBook
      Immediate eBook download after purchase

      $64.99
      (net)

    Formal Methods: Foundations and Applications

    20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10623

    Subseries: Programming and Software Engineering

    Cavalheiro, Simone, Fiadeiro, José (Eds.) 2017

    Price from $64.99
    Available Formats:
    Information
    $64.99 (net)
    ISBN 978-3-319-70848-5
    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
    ISBN 978-3-319-70847-8
    Usually dispatched within 3 to 5 business days. December 16, 2017
    Softcover
    Softcover (also known as softback) version
  • Service-Oriented Computing – ICSOC 2015 Workshops
    • eBook
      Immediate eBook download after purchase

      Softcover
      Usually dispatched within 3 to 5 business days.

      All

    Service-Oriented Computing – ICSOC 2015 Workshops

    WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 9586

    Subseries: Programming and Software Engineering

    Norta, A., Gaaloul, W., Gangadharan, G.R., Dam, H.K. (Eds.) 2016

    Available Formats:
    Information
    ISBN 978-3-662-50539-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
    ISBN 978-3-662-50538-0
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Programming Languages and Systems
    • eBook
      Immediate eBook download after purchase

      $84.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $84.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $107.00
      (net)

    Programming Languages and Systems

    15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10695

    Subseries: Programming and Software Engineering

    Chang, Bor-Yuh Evan (Ed.) 2017

    Price from $84.99
    Available Formats:
    Information
    $84.99 (net)
    ISBN 978-3-319-71237-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
    $107.00 (net)
    ISBN 978-3-319-71236-9
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version
  • Critical Systems: Formal Methods and Automated Verification
    • eBook
      Immediate eBook download after purchase

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

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

      $54.99
      (net)

      Softcover
      Usually dispatched within 3 to 5 business days.

      $72.00
      (net)

    Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10471

    Subseries: Programming and Software Engineering

    Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana (Eds.) 2017

    Price from $54.99
    Available Formats:
    Information
    $54.99 (net)
    ISBN 978-3-319-67113-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
    $72.00 (net)
    ISBN 978-3-319-67112-3
    Usually dispatched within 3 to 5 business days.
    Softcover
    Softcover (also known as softback) version


10 of 819
  1 2 3 4 5 6 7 8