Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Algebra in Scientific Computing: 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, ProceedingsKoepf, Wolfram ; Seiler, Werner M. ; England, Matthew ; Sadykov, Timur M. ; Vorozhtsov, Evgenii V.Cham: Springer International Publishing 2019Sem texto completo |
|
2 |
Material Type: Livro
|
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, ProceedingsLaarman, Alfons ; Sokolova, AnaCham: Springer International PublishingSem texto completo |
|
3 |
Material Type: Livro
|
Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, ProceedingsGerdt, Vladimir P. ; Vorozhtsov, Evgenii V. ; Koepf, Wolfram ; Seiler, Werner M.Cham: Springer International Publishing 2018Sem texto completo |
|
4 |
Material Type: Livro
|
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, ProceedingsDeshmukh, Jyotirmoy ; Ničković, DejanCham: Springer International PublishingSem texto completo |
|
5 |
Material Type: Livro
|
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, ProceedingsFisman, Dana ; Feng, LuCham: Springer International PublishingSem texto completo |
|
6 |
Material Type: Livro
|
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, ProceedingsFinkbeiner, Bernd ; Mariani, LeonardoCham: Springer International Publishing 2019Sem texto completo |
|
7 |
Material Type: Livro
|
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, ProceedingsMorisio, Maurizio ; Ardito, Luca ; Jedlitschka, Andreas ; Torchiano, MarcoCham: Springer International PublishingSem texto completo |
|
8 |
Material Type: Livro
|
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, ProceedingsFalcone, Yliès ; Sánchez, César S'nchez, C'sar ; Falcone, Yli's ; Sánchez, César ; Falcone, YlièsCham: Springer Nature 2016Texto completo disponível |
|
9 |
Material Type: Livro
|
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, ProceedingsLeucker, Martin ; Colombo, ChristianCham: Springer International PublishingSem texto completo |
|
10 |
Material Type: Livro
|
Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, ProceedingsWeyns, Danny ; Navarro, Elena ; Sirjani, Marjan ; Biffl, Stefan ; Mirandola, Raffaela ; Löwe, WelfCham: Springer International PublishingSem texto completo |