Buchlisten 2020 Liste 34258

Software Engineering and Formal Methods ---Bestellen---
Titel: Software Engineering and Formal Methods
Beteiligte: Alessandro Cimatti, Marjan Sirjani
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Herausgegeben von Cimatti, Alessandro; Sirjani, Marjan
1st ed. 2017. 2017. xix, 410 S. 94 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66196-5 (3319661965)
Neue ISBN: 978-3-319-66196-4 (9783319661964)

Software Engineering and Formal Methods ---Bestellen---
Titel: Software Engineering and Formal Methods
Beteiligte: Einar Broch Johnsen, Ina Schaefer
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Herausgegeben von Johnsen, Einar Broch; Schaefer, Ina
1st ed. 2018. 2018. xiv, 303 S. 98 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2018
ISBN: 3-319-92969-0 (3319929690)
Neue ISBN: 978-3-319-92969-9 (9783319929699)

Software Engineering Approaches for Off ---Bestellen---
Titel: Software Engineering Approaches for Offshore and Outsourced Development
Beteiligte: Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio
Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers
Herausgeber: Meyer, Bertrand, Nordio, Martin, Joseph, Mathai, Berkling, Kay
2009. x, 211 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-01855-6 (3642018556)
Neue ISBN: 978-3-642-01855-8 (9783642018558)

Software Engineering Approaches for Off ---Bestellen---
Titel: Software Engineering Approaches for Offshore and Outsourced Development
Beteiligte: Olly Gotel, Mathai Joseph, Bertrand Meyer
Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Herausgeber: Gotel, Olly, Meyer, Bertrand, Joseph, Mathai
2009. x, 137 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-02986-8 (3642029868)
Neue ISBN: 978-3-642-02986-8 (9783642029868)

Software Engineering for Resilient Syst ---Bestellen---
Titel: Software Engineering for Resilient Systems
Beteiligte: Ivica Crnkovic, Elena Troubitsyna
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Herausgegeben von Crnkovic, Ivica; Troubitsyna, Elena
1st ed. 2016. 2016. ix, 149 S. 41 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
ISBN: 3-319-45891-4 (3319458914)
Neue ISBN: 978-3-319-45891-5 (9783319458915)

Software Engineering for Resilient Syst ---Bestellen---
Titel: Software Engineering for Resilient Systems
Beteiligte: Alexander Romanovsky, Elena A. Troubitsyna
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Herausgegeben von Romanovsky, Alexander; Troubitsyna, Elena A.
1st ed. 2017. 2017. xiv, 201 S. 56 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-65947-2 (3319659472)
Neue ISBN: 978-3-319-65947-3 (9783319659473)

Software Engineering for Self-Adaptive ---Bestellen---
Titel: Software Engineering for Self-Adaptive Systems
Beteiligte: Betty H. C. Cheng, Holger Giese, Paola Inverardi, Rogério de Lemos, Jeff Magee
Ed. by Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi and Jeff Magee
2009. x, 261 S. 23,5 cm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-02160-3 (3642021603)
Neue ISBN: 978-3-642-02160-2 (9783642021602)

Software Engineering in Health Care ---Bestellen---
Titel: Software Engineering in Health Care
Beteiligte: Michaela Huhn, Laurie Williams
4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Herausgegeben von Huhn, Michaela; Williams, Laurie
1st ed. 2017. 2017. x, 239 S. 75 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-63193-4 (3319631934)
Neue ISBN: 978-3-319-63193-6 (9783319631936)

Software Engineering in Intelligent Sys ---Bestellen---
Titel: Software Engineering in Intelligent Systems
Beteiligte: Zuzana Kominkova Oplatkova, Zdenka Prokopova, Roman Senkerik, Petr Silhavy, Radek Silhavy
Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Herausgegeben von Silhavy, Radek; Senkerik, Roman; Kominkova Oplatkova, Zuzana; Prokopova, Zdenka; Silhavy, Petr
2015. 2015. xiv, 380 S. 146 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2015
ISBN: 3-319-18472-5 (3319184725)
Neue ISBN: 978-3-319-18472-2 (9783319184722)

Software Engineering Research, Manageme ---Bestellen---
Titel: Software Engineering Research, Management and Applications 2011
Autor/in: Roger Lee
Herausgegeben von Lee, Roger
2012. 2013. xii, 200 S. 73 SW-Abb., 200p. 73 illus.. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2013
ISBN: 3-642-27091-3 (3642270913)
Neue ISBN: 978-3-642-27091-8 (9783642270918)