Software Engineering and Formal Methods
1410977
|
Rocco De Nicola
Eva Kühn
|
9783319415918 |
2016 |
Contains images
|
|
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11724)
2957504
|
Peter Csaba Ölveczky
Gwen Salaün
|
9783030304461 |
2019 |
Contains images
|
|
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science #13550)
5934140
|
Bernd-Holger Schlingloff
Ming Chai
|
9783031171086 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science #10469)
2115887
|
Marjan Sirjani
Alessandro Cimatti
|
9783319661971 |
2017 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12524)
3779374
|
Loek Cleophas
Mieke Massink
|
9783030672201 |
2021 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230)
4965632
|
Antonio Cerone
Marco Autili
Alessio Bucaioni
Cláudio Gomes
Pierluigi Graziani
Maurizio Palmieri
Marco Temperini
Gentiane Venture
|
9783031124297 |
2022 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13765)
5179842
|
Paolo Masci
Cinzia Bernardeschi
Pierluigi Graziani
Mario Koddenbrock
Maurizio Palmieri
|
9783031262364 |
2023 |
Contains images
|
|
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14568)
6159732
|
Alessandro Aldini
|
9783031660214 |
2024 |
Contains images
|
|
Software Engineering and Management: Volume 16 (Studies in Computational Intelligence #1137)
6048652
|
Roger Lee
|
9783031551741 |
2024 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)
2837722
|
Zheng Li
He Jiang
Ge Li
Minghui Zhou
Ming Li
|
9789811503108 |
2019 |
Contains images
|
|
Software Engineering and Methodology for Emerging Domains
1537655
|
Lu Zhang
Chang Xu
|
9789811034824 |
2016 |
Contains images
|
|
Software Engineering Application in Informatics: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 (Lecture Notes in Networks and Systems #232)
4363405
|
Radek Silhavy
Petr Silhavy
Zdenka Prokopova
|
9783030903183 |
2021 |
Contains images
|
|
Software Engineering Application in Systems Design: Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1 (Lecture Notes in Networks and Systems #596)
5151703
|
Radek Silhavy
Petr Silhavy
Zdenka Prokopova
|
9783031214356 |
2023 |
Contains images
|
|
Software Engineering Approaches to Enable Digital Transformation Technologies
5719506
|
Sanjay Misra
Amit Jain
Manju Kaushik
Chitresh Banerjee
|
9781000987089 |
2024 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
1395171
|
Roger Lee
|
9783319338101 |
2016 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
1652408
|
Roger Lee
|
9783319620480 |
2009 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #149)
2278561
|
Roger Lee
|
9783319983677 |
2019 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #850)
2791100
|
Roger Lee
|
9783030264284 |
2020 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #1012)
4540484
|
Roger Lee
|
9783030923174 |
2022 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #1074)
5103098
|
Roger Lee
|
9783031196041 |
2023 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17 (Studies in Computational Intelligence #1153)
6098124
|
Roger Lee
|
9783031563881 |
2024 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence #951)
3883016
|
Roger Lee
Jong Bae Kim
|
9783030670085 |
2021 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
1396676
|
Roger Lee
|
9783319235097 |
2016 |
Contains images
|
|
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter (Studies in Computational Intelligence #1086)
5318091
|
Roger Lee
|
9783031261350 |
2023 |
Contains images
|
|
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11350)
2376731
|
Jean-Michel Bruel
Manuel Mazzara
Bertrand Meyer
|
9783030060190 |
2019 |
Contains images
|
|