Ana Rosa Cavalli – författare
Visar alla böcker från författaren Ana Rosa Cavalli. Handla med fri frakt och snabb leverans.
11 produkter
Quality of Information and Communications Technology
14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings
Av Ana C. R. Paiva, Ana Rosa Cavalli m. fl.
Häftad, 2021
1355 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, held in Algarve, Portugal*, in September 2021.The 30 full papers and 9 short papers were carefully reviewed and selected from 98 submissions. …
Quality of Information and Communications Technology
14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings
Av Ricardo Perez-Castillo, Paula Ventura Martins m. fl.
E-bok, 2021
1838 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021, held in Algarve, Portugal*, in September 2021. The 30 full papers and 9 short papers were carefully reviewed and selected from 98 …
Testing Software and Systems
33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
Av David Clark, Hector Menendez m. fl.
Häftad, 2022
1018 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regular papers and 7 short papers presented were …
Testing Software and Systems
33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
Av Ana Rosa Cavalli, Hector Menendez m. fl.
E-bok, 2022
1335 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Inbunden, 2023
2478 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Alessandra Bagnato, Cristina Seceleanu m. fl.
E-bok, 2023
3181 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
CyberSecurity in a DevOps Environment
From Requirements to Monitoring
Av Andrey Sadovykh, Dragos Truscan m. fl.
Häftad, 2024
2478 kr
Lägg i varukorg
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale …
Tools and Methods of Program Analysis
6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
Av Rostislav Yavorskiy, Ana Rosa Cavalli m. fl.
Häftad, 2024
736 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 …
Tools and Methods of Program Analysis
6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
Av Anna Kalenkova, Ana Rosa Cavalli m. fl.
E-bok, 2024
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 …
Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Av Nina Yevtushenko, Ana Rosa Cavalli m. fl.
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The …
Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Av Husnu Yenigun, Ana Rosa Cavalli m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The …
