Compartir
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020
Eloy, Sara ; Leite Viana, David ; Morais, Franklim (Autor)
·
Springer
· Tapa Blanda
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020 - Eloy, Sara ; Leite Viana, David ; Morais, Franklim
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020"
The Ethics of our Work.- From Datascape to Formal Methods.- Variational Beauty of Space. Machine Intuition and Urban Networks.- Global and Disciplinary Frameworks for Formal Methods in Architecture.- Mathematically Developing Building Facades: an Algorithmic Framework.- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer).- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design.- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking.- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations.- Digital Doxiadis: Parametric Thinking for Human Settlements.- L'Objet Invalide.