Formal Techniques for Distributed Objects, Components, and Systems More Books by Carla Ferreira & Claudio Antares Mezzina
Reversible Computation: Extending Horizons of Computing
2020
Nature-Based Solutions in Supporting Sustainable Development Goals
2024
Software Engineering and Formal Methods
2023
Brincar essencial: a aromaterapia na educação
2022
Design of Reinforced Concrete Sections Under Bending and Axial Forces
2022
Sereno, o príncipe do Mar Azul
2016
Padrão de reprodução do capital
2013