Software Engineering and Formal Methods Carla Ferreira & Tim A. C. Willemse의 도서 더 보기

Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
Reversible Computation: Extending Horizons of Computing
2020년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2025년
Nature-Based Solutions in Supporting Sustainable Development Goals Nature-Based Solutions in Supporting Sustainable Development Goals
Nature-Based Solutions in Supporting Sustainable Development Goals
2024년
Brincar essencial: a aromaterapia na educação Brincar essencial: a aromaterapia na educação
Brincar essencial: a aromaterapia na educação
2022년
Design of Reinforced Concrete Sections Under Bending and Axial Forces Design of Reinforced Concrete Sections Under Bending and Axial Forces
Design of Reinforced Concrete Sections Under Bending and Axial Forces
2022년
Sereno, o príncipe do Mar Azul Sereno, o príncipe do Mar Azul
Sereno, o príncipe do Mar Azul
2016년
Padrão de reprodução do capital Padrão de reprodução do capital
Padrão de reprodução do capital
2013년