Carla Ferreira – författare
Visar alla böcker från författaren Carla Ferreira. Handla med fri frakt och snabb leverans.
9 produkter
Nature-Based Solutions in Supporting Sustainable Development Goals
Theory and Practice
Av Haozhi Pan, Zahra Kalantari m. fl.
Häftad, 2024
1238 kr
Lägg i varukorg
This book catalogs the evidence based on the social, economic and environmental effectiveness of Nature based Solutions (NbS) to face environmental challenges and simultaneously provide a better understanding of associated social-ecological interactions. NbS are reframing discussion and policy …
Nature-Based Solutions in Supporting Sustainable Development Goals
Theory and Practice
Av Cong Cong, Carla Ferreira m. fl.
E-bok, 2024
1564 kr
Lägg i varukorg
This book catalogs the evidence based on the social, economic and environmental effectiveness of Nature based Solutions (NbS) to face environmental challenges and simultaneously provide a better understanding of associated social-ecological interactions.NbS are reframing discussion and policy …
Reversible Computation: Extending Horizons of Computing
Selected Results of the COST Action IC1405
Av Irek Ulidowski, Ivan Lanese m. fl.
Häftad, 2020
451 kr
Lägg i varukorg
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May …
Design of Reinforced Concrete Sections Under Bending and Axial Forces
Tables and Charts According to EUROCODE 2
Av Helena Barros, Joaquim Figueiras m. fl.
Häftad, 2022
825 kr
Lägg i varukorg
This book contains auxiliary calculation tools to facilitate the safety assessment of reinforced concrete sections. Essential parameters in the design to the ultimate limit state of resistance such as the percentage of reinforcement and the position of the neutral axis in concrete cross-sections, …
Design of Reinforced Concrete Sections Under Bending and Axial Forces
Tables and Charts According to EUROCODE 2
Av Mario Pimentel, Carla Ferreira m. fl.
E-bok, 2022
1037 kr
Lägg i varukorg
This book contains auxiliary calculation tools to facilitate the safety assessment of reinforced concrete sections. Essential parameters in the design to the ultimate limit state of resistance such as the percentage of reinforcement and the position of the neutral axis in concrete cross-sections, …
Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Av Carla Ferreira, Tim A. C. Willemse
Häftad, 2023
725 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, …
Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Av Tim A. C. Willemse, Carla Ferreira
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, …
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Av Carla Ferreira, Claudio Antares Mezzina
Häftad, 2025
728 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings
Av Claudio Antares Mezzina, Carla Ferreira
E-bok, 2025
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing …
