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 920 results

  • Mathematics of Program Construction
    • eBook
      Due: December 16, 2019

      Softcover
      Due: December 16, 2019

      76,95 €
      (gross)
      All
    • Softcover
      Due: December 16, 2019

      76,95 €
      (gross)

    Mathematics of Program Construction

    13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11825

    Subseries: Programming and Software Engineering

    Hutton, Graham (Ed.) 219

    Price from 76,95 €
    Available Formats:
    Information
    ISBN 978-3-030-33636-3
    Due: December 16, 2019
    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
    76,95 € (gross)
    ISBN 978-3-030-33635-6
    Due: December 16, 2019
    Softcover
    Softcover (also known as softback) version
  • On the Move to Meaningful Internet Systems: OTM 2019 Conferences
    • eBook
      Due: December 12, 2019

      Softcover
      Due: December 12, 2019

      93,59 €
      (gross)
      All
    • Softcover
      Due: December 12, 2019

      93,59 €
      (gross)

    On the Move to Meaningful Internet Systems: OTM 2019 Conferences

    Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11877

    Subseries: Programming and Software Engineering

    Panetto, H. (et al.) (Eds.) 2019

    Price from 93,59 €
    Available Formats:
    Information
    ISBN 978-3-030-33246-4
    Due: December 12, 2019
    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
    93,59 € (gross)
    ISBN 978-3-030-33245-7
    Due: December 12, 2019
    Softcover
    Softcover (also known as softback) version
  • Model-Based Safety and Assessment
    • eBook
      Due: December 11, 2019

      Softcover
      Due: December 11, 2019

      68,63 €
      (gross)
      All
    • Softcover
      Due: December 11, 2019

      68,63 €
      (gross)

    Model-Based Safety and Assessment

    6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11842

    Subseries: Programming and Software Engineering

    Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (Eds.) 2019

    Price from 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-32872-6
    Due: December 11, 2019
    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-32871-9
    Due: December 11, 2019
    Softcover
    Softcover (also known as softback) version
  • Formal Methods and Software Engineering
    • eBook
      Due: December 21, 2019

      Softcover
      Due: December 21, 2019
      approx.

      85,27 €
      (gross)
      All

    Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11852

    Subseries: Programming and Software Engineering

    Ait-Ameur, Yamine, Qin, Shengchao (Eds.) 2019

    Price from ca. 85,27 €
    Available Formats:
    Information
    ISBN 978-3-030-32409-4
    Due: December 21, 2019
    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)
    approx.
    ISBN 978-3-030-32408-7
    Due: December 21, 2019
    Softcover
    Softcover (also known as softback) version
  • Static Analysis
    • eBook
      Due: December 2019

      Softcover
      Due: December 2019

      76,95 €
      (gross)
      All
    • Softcover
      Due: December 2019

      76,95 €
      (gross)

    Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11822

    Subseries: Programming and Software Engineering

    Chang, Bor-Yuh Evan (Ed.) 2019

    Price from 76,95 €
    Available Formats:
    Information
    ISBN 978-3-030-32304-2
    Due: December 2019
    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
    76,95 € (gross)
    ISBN 978-3-030-32303-5
    Due: December 2019
    Softcover
    Softcover (also known as softback) version
  • Runtime Verification
    • eBook
      Due: November 28, 2019

      Softcover
      Due: November 28, 2019
      approx.

      68,63 €
      (gross)
      All

    Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11757

    Subseries: Programming and Software Engineering

    Finkbeiner, Bernd, Mariani, Leonardo (Eds.) 2019

    Price from ca. 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-32079-9
    Due: November 28, 2019
    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)
    approx.
    ISBN 978-3-030-32078-2
    Due: November 28, 2019
    Softcover
    Softcover (also known as softback) version
  • Model and Data Engineering
    • eBook
      Due: November 25, 2019

      Softcover
      Due: November 25, 2019

      68,63 €
      (gross)
      All
    • Softcover
      Due: November 25, 2019

      68,63 €
      (gross)

    Model and Data Engineering

    9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11815

    Subseries: Programming and Software Engineering

    Schewe, Klaus-Dieter, Singh, Neeraj Kumar (Eds.) 2019

    Price from 68,63 €
    Available Formats:
    Information
    ISBN 978-3-030-32065-2
    Due: November 25, 2019
    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-32064-5
    Due: November 25, 2019
    Softcover
    Softcover (also known as softback) version
  • Fundamentals of Software Engineering
    • eBook
      Due: November 19, 2019

      Softcover
      Due: November 19, 2019

      66,56 €
      (gross)
      All
    • Softcover
      Due: November 19, 2019

      66,56 €
      (gross)

    Fundamentals of Software Engineering

    8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

    Series: Lecture Notes in Computer Science, Vol. 11761

    Subseries: Programming and Software Engineering

    Hojjat, Hossein, Massink, Mieke (Eds.) 2019

    Price from 66,56 €
    Available Formats:
    Information
    ISBN 978-3-030-31517-7
    Due: November 19, 2019
    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
    66,56 € (gross)
    ISBN 978-3-030-31516-0
    Due: November 19, 2019
    Softcover
    Softcover (also known as softback) version
  • Automated Technology for Verification and Analysis
    • eBook
      Due: November 21, 2019

      Softcover
      Due: November 21, 2019

      85,27 €
      (gross)
      All
    • Softcover
      Due: November 21, 2019

      85,27 €
      (gross)

    Automated Technology for Verification and Analysis

    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11781

    Subseries: Programming and Software Engineering

    Yu-Fang, Chen, Cheng, Chih-Hong, Esparza, Javier (Eds.) 2019

    Price from 85,27 €
    Available Formats:
    Information
    ISBN 978-3-030-31784-3
    Due: November 21, 2019
    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-31783-6
    Due: November 21, 2019
    Softcover
    Softcover (also known as softback) version
  • Tests and Proofs
    • eBook
      Due: November 10, 2019

      Softcover
      Due: November 10, 2019

      60,31 €
      (gross)
      All
    • Softcover
      Due: November 10, 2019

      60,31 €
      (gross)

    Tests and Proofs

    13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11823

    Subseries: Programming and Software Engineering

    Beyer, Dirk, Keller, Chantal (Eds.) 2019

    Price from 60,31 €
    Available Formats:
    Information
    ISBN 978-3-030-31157-5
    Due: November 10, 2019
    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-31156-8
    Due: November 10, 2019
    Softcover
    Softcover (also known as softback) version


10 of 920