Javier Camara – författare
Visar alla böcker från författaren Javier Camara. Handla med fri frakt och snabb leverans.
9 produkter
Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Av Javier Camara, Martin Steffen
Häftad, 2020
790 kr
Lägg i varukorg
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and …
Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Av Martin Steffen, Javier Camara
E-bok, 2020
975 kr
Lägg i varukorg
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and …
Software Architecture
14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings
Av Henry Muccini, Paris Avgeriou m. fl.
Häftad, 2020
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L'Aquila, Italy*, in September 2020. The 30 full papers and 9 short papers presented in this volume were carefully reviewed and …
Software Architecture
14th European Conference, ECSA 2020 Tracks and Workshops, L''Aquila, Italy, September 14–18, 2020, Proceedings
Av Uwe Zdun, Danny Weyns m. fl.
E-bok, 2020
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L''Aquila, Italy*, in September 2020. The 30 full papers and 9 short papers presented in this volume were carefully reviewed and …
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Av Javier Cámara, Sung-Shik Jongmans
Häftad, 2024
938 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were …
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Av Sung-Shik Jongmans, Javier Camara
E-bok, 2024
903 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were …
Assurances for Self-Adaptive Systems
Principles, Models, and Techniques
Av Javier Cámara, Rogério de Lemos m. fl.
Häftad, 2013
566 kr
Lägg i varukorg
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive …
Assurances for Self-Adaptive Systems
Principles, Models, and Techniques
Av Antonia Lopes, Carlo Ghezzi m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive …
Aquel Francisco
E-bok, 2021
191 kr
Lägg i varukorg
"Aquel Francisco" es una biografía del Papa que parte del conocimiento personal y las conversaciones que los autores pudieron tener con él durante las visitas del entonces Cardenal Bergoglio a su provincia, en varios encuentros episcopales y luego ya en El Vaticano.El libro reconstruye su vida, …
