Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, ProceedingsGerostathopoulos, Ilias ; Lewis, Grace ; Batista, Thais ; Bures, Tomás Batista, Thais ; Gerostathopoulos, Ilias ; Bureš, Tomáš ; Lewis, GraceCham: Springer International Publishing AG 2022Sem texto completo |
|
2 |
Material Type: Livro
|
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, ProceedingsDang, Thao ; Stolz, Volker Stolz, Volker ; Dang, ThaoCham: Springer International Publishing AG 2022Sem texto completo |
|
3 |
Material Type: Livro
|
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, ProceedingsArdito, Luca ; Jedlitschka, Andreas ; Morisio, Maurizio ; Torchiano, Marco Ardito, Luca ; Jedlitschka, Andreas ; Morisio, Maurizio ; Torchiano, Marco ; Morisio, Maurizio ; Ardito, Luca ; Jedlitschka, Andreas ; Torchiano, MarcoCham: Springer Nature 2021Sem texto completo |
|
4 |
Material Type: Livro
|
Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, ProceedingsBiffl, Stefan ; Navarro, Elena ; Löwe, Welf ; Sirjani, Marjan ; Mirandola, Raffaela ; Weyns, Danny Sirjani, Marjan ; Biffl, Stefan ; Navarro, Elena ; Löwe, Welf ; Weyns, Danny ; Navarro, Elena ; Sirjani, Marjan ; Biffl, Stefan ; Mirandola, Raffaela ; Löwe, WelfCham: Springer Nature 2021Sem texto completo |
|
5 |
Material Type: Livro
|
Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected PapersHojjat, Hossein ; Massink, Mieke Hojjat, Hossein ; Massink, Mieke ; Massink, Mieke ; Hojjat, HosseinCham: Springer Nature 2021Sem texto completo |
|
6 |
Material Type: Livro
|
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, ProceedingsLaarman, Alfons ; Sokolova, Ana Laarman, Alfons ; Sokolova, Ana ; Laarman, Alfons ; Sokolova, AnaCham: Springer Nature 2021Sem texto completo |
|
7 |
Material Type: Livro
|
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, ProceedingsFeng, Lu ; Fisman, Dana Fisman, Dana ; Feng, Lu ; Fisman, Dana ; Feng, LuCham: Springer Nature 2021Sem texto completo |
|
8 |
Material Type: Livro
|
Web Engineering: 22nd International Conference, ICWE 2022, Bari, Italy, July 5-8, 2022, ProceedingsDi Noia, Tommaso ; Ko, In-Young ; Schedl, Markus ; Ardito, Carmelo Schedl, Markus ; Ko, In-Young ; Di Noia, Tommaso ; Ardito, CarmeloCham: Springer International Publishing AG 2022Sem texto completo |
|
9 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, ProceedingsCavalcanti, Ana ; Beyer, DirkCham: Springer Nature 2024Texto completo disponível |
|
10 |
Material Type: Livro
|
Number-Theoretic Methods in Cryptology: First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected PapersKaczorowski, Jerzy ; Pieprzyk, Josef ; Pomykała, Jacek Kaczorowski, Jerzy ; Pomykała, Jacek ; Pieprzyk, Josef ; Pieprzyk, Josef ; Pomykała, Jacek ; Kaczorowski, JerzyCham: Springer Nature 2018Sem texto completo |