Programming and Software Engineering
De Nicola / Calinescu / Rumpe
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
1st ed. 20152016SpringerISBN 978-3-319-28468-2
Hou / Ganesh
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-88885-5
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-88806-0
ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-88358-4
19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-89051-3
21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-88494-9
9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-89247-0
13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-88106-1
Qin / Woodcock / Zhang
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-91265-9
19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-91431-8
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-90870-6
17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-90636-8
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-87348-6
Ardito / Jedlitschka / Morisio / Torchiano
22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-91452-3
Ballarini / Castel / Dimitriou / Iacono / Phung-Duc / Walraevens
17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-91825-5
Campos / Minea
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-92137-8
Cheney / Perri
24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-94479-7
13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-94437-7
5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2021Springer International PublishingISBN 978-3-030-91167-6
28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
eBook (PDF mit Wasserzeichen)2022Springer International PublishingISBN 978-3-030-96140-4