Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors
| Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XXXII, 313 p. 193 illus., 159 illus. in color.) |
| Disciplina | 720.285 |
| Collana | Advances in science, technology & innovation |
| Soggetto topico |
Architecture - Data processing
City planning - Data processing Regional planning - Data processing Formal methods (Computer science) |
| ISBN | 3-030-57509-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910484149903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / edited by Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
| Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / edited by Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXXII, 313 p. 193 illus., 159 illus. in color.) |
| Disciplina | 720.285 |
| Collana | Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development |
| Soggetto topico |
Architecture
Human geography Civil engineering Computer science Mathematics Human Geography Civil Engineering Computer Science |
| ISBN | 3-030-57509-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910863157603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||