Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020

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

Paperback

Series: Advances in Science, Technology & Innovation

Technology & EngineeringGeneral ArchitectureUnited States Politics

ISBN10: 303057511X
ISBN13: 9783030575113
Publisher: Springer Nature
Published: Jan 6 2022
Pages: 313
Weight: 1.73
Height: 0.72 Width: 8.25 Depth: 11.00
Language: English
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.

Also from

Eloy, Sara

View All

Also in

General Architecture

View All