Logo - springer
Slogan - springer

New & Forthcoming Titles | Programming and Software Engineering (Titles in this series)

Programming and Software Engineering

Programming and Software Engineering

Books & CD ROMs

Show all 978 results

  • Advances in Conceptual Modeling
    • eBook
      Due: February 28, 2021

      Softcover
      Due: February 28, 2021

      60,31 €
      (gross)
      All
    • Softcover
      Due: February 28, 2021

      60,31 €
      (gross)

    Advances in Conceptual Modeling

    ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12584

    Subseries: Programming and Software Engineering

    Grossmann, Georg, Ram, Sudha (Eds.) 2020

    Price from 60,31 €
    Available Formats:
    Information
    ISBN 978-3-030-65847-2
    Due: February 28, 2021
    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
    60,31 € (gross)
    ISBN 978-3-030-65846-5
    Due: February 28, 2021
    Softcover
    Softcover (also known as softback) version
  • Static Analysis
    • eBook
      Due: February 26, 2021

      Softcover
      Due: February 26, 2021

      62,39 €
      (gross)
      All
    • Softcover
      Due: February 26, 2021

      62,39 €
      (gross)

    Static Analysis

    27th International Symposium, SAS 2020, Chicago, IL, USA, November 18–20, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12389

    Subseries: Programming and Software Engineering

    Pichardie, David, Sighireanu, Mihaela (Eds.) 2020

    Price from 62,39 €
    Available Formats:
    Information
    ISBN 978-3-030-65474-0
    Due: February 26, 2021
    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-030-65473-3
    Due: February 26, 2021
    Softcover
    Softcover (also known as softback) version
  • Testing Software and Systems
    • eBook
      Due: February 10, 2021

      Softcover
      Due: February 10, 2021

      83,19 €
      (gross)
      All
    • Softcover
      Due: February 10, 2021

      83,19 €
      (gross)

    Testing Software and Systems

    32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12543

    Subseries: Programming and Software Engineering

    Casola, Valentina, De Benedictis, Alessandra, Rak, Massimiliano (Eds.) 2020

    Price from 83,19 €
    Available Formats:
    Information
    ISBN 978-3-030-64881-7
    Due: February 10, 2021
    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-3-030-64880-0
    Due: February 10, 2021
    Softcover
    Softcover (also known as softback) version
  • Reuse in Emerging Software Engineering Practices
    • eBook
      Due: February 3, 2021

      Softcover
      Due: February 3, 2021

      60,31 €
      (gross)
      All
    • Softcover
      Due: February 3, 2021

      60,31 €
      (gross)

    Reuse in Emerging Software Engineering Practices

    19th International Conference, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12541

    Subseries: Programming and Software Engineering

    Ben Sassi, Sihem, Ducasse, Stéphane, Mili, Hafedh (Eds.) 2020

    Price from 60,31 €
    Available Formats:
    Information
    ISBN 978-3-030-64694-3
    Due: February 3, 2021
    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
    60,31 € (gross)
    ISBN 978-3-030-64693-6
    Due: February 3, 2021
    Softcover
    Softcover (also known as softback) version
  • Programming Languages and Systems
    • eBook
      Due: February 2, 2021

      Softcover
      Due: February 2, 2021

      68,63 €
      (gross)
      All
    • Softcover
      Due: February 2, 2021

      68,63 €
      (gross)

    Programming Languages and Systems

    18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12470

    Subseries: Programming and Software Engineering

    Oliveira, Bruno C. d. S. (Ed.) 2020

    Price from 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-64437-6
    Due: February 2, 2021
    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
    68,63 € (gross)
    ISBN 978-3-030-64436-9
    Due: February 2, 2021
    Softcover
    Softcover (also known as softback) version
  • Human-Centered Software Engineering
    • eBook
      Due: January 8, 2021

      Softcover
      Due: January 8, 2021

      67,59 €
      (gross)
      All
    • Softcover
      Due: January 8, 2021

      67,59 €
      (gross)

    Human-Centered Software Engineering

    8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12481

    Subseries: Programming and Software Engineering

    Bernhaupt, Regina, Ardito, Carmelo, Sauer, Stefan (Eds.) 2020

    Price from 67,59 €
    Available Formats:
    Information
    ISBN 978-3-030-64266-2
    Due: January 8, 2021
    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
    67,59 € (gross)
    ISBN 978-3-030-64265-5
    Due: January 8, 2021
    Softcover
    Softcover (also known as softback) version
  • Software Verification
    • eBook
      Due: January 30, 2021

      Softcover
      Due: January 30, 2021

      60,31 €
      (gross)
      All
    • Softcover
      Due: January 30, 2021

      60,31 €
      (gross)

    Software Verification

    12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 12549

    Subseries: Programming and Software Engineering

    Christakis, M., Polikarpova, N., Duggirala, P.S., Schrammel, P. (Eds.) 2020

    Price from 60,31 €
    Available Formats:
    Information
    ISBN 978-3-030-63618-0
    Due: January 30, 2021
    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
    60,31 € (gross)
    ISBN 978-3-030-63617-3
    Due: January 30, 2021
    Softcover
    Softcover (also known as softback) version
  • Service-Oriented Computing
    • eBook
      Due: January 21, 2021

      Softcover
      Due: January 21, 2021

      85,27 €
      (gross)
      All
    • Softcover
      Due: January 21, 2021

      85,27 €
      (gross)

    Service-Oriented Computing

    18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12571

    Subseries: Programming and Software Engineering

    Kafeza, E. (et al.) (Eds.) 2020

    Price from 85,27 €
    Available Formats:
    Information
    ISBN 978-3-030-65310-1
    Due: January 21, 2021
    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
    85,27 € (gross)
    ISBN 978-3-030-65309-5
    Due: January 21, 2021
    Softcover
    Softcover (also known as softback) version
  • Formal Methods and Software Engineering
    • eBook
      Due: January 17, 2021

      Softcover
      Due: January 17, 2021

      68,63 €
      (gross)
      All
    • Softcover
      Due: January 17, 2021

      68,63 €
      (gross)

    Formal Methods and Software Engineering

    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12531

    Subseries: Programming and Software Engineering

    Lin, Shang-Wei, Hou, Zhe, Mahoney, Brendan (Eds.) 2020

    Price from 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-63406-3
    Due: January 17, 2021
    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
    68,63 € (gross)
    ISBN 978-3-030-63405-6
    Due: January 17, 2021
    Softcover
    Softcover (also known as softback) version
  • Deductive Software Verification: Future Perspectives
    • eBook
      Due: January 11, 2021

      Softcover
      Due: January 11, 2021

      68,63 €
      (gross)
      All
    • Softcover
      Due: January 11, 2021

      68,63 €
      (gross)

    Deductive Software Verification: Future Perspectives

    Reflections on the Occasion of 20 Years of KeY

    Series: Lecture Notes in Computer Science, Vol. 12345

    Subseries: Programming and Software Engineering

    Ahrendt, W., Beckert, B., Bubel, R., Haehnle, R., Ulbrich, M. (Eds.) 2020

    Price from 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-64354-6
    Due: January 11, 2021
    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
    68,63 € (gross)
    ISBN 978-3-030-64353-9
    Due: January 11, 2021
    Softcover
    Softcover (also known as softback) version


10 of 978