{"product_id":"formal-methods-in-architecture-9783032027818","title":"Formal Methods in Architecture","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cspan lang=\"PT\" style=\"font-size: 11.0pt; line-height: 107%; font-family: 'Calibri',sans-serif; mso-fareast-font-family: Calibri; mso-bidi-font-family: 'Times New Roman'; mso-ansi-language: PT; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003eTopologicPy\u003c\/span\u003e a Syntopic Integration of Geometry, Topology and Semantics in Architectural Design.- AI and architecture.- Deciphering Urban Morphogenesis A Morphospace Perspective.- Co learning between research and practice in planning: adressing the physical form of cities.- Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone.- Adaptation of Plot systems a method for analysing space and time.- Measuring the impact of urban structures shaped by topography on the competitiveness between car and pedestrian a GIS simulation on Salvador vs San Francisco.- Advancing Spatial Cognition Analysis Integrating Agent-Based Modelling with Space Syntax in the NetLogo Framework.- Visualizing Urban Experience AI and Computer Vision Framework for Historic Commercial Streets in Egypt.- The Effect of Potential Urban Elements on Finding Direction in Urban Space Exampling Of Kadiköy Yeldegirmeni, Istanbul,Turkey.- Reimagining Human-Nature Coexistence: An Integrative Approach to Architectural Design with Biomimicry, Generative Modeling, and AI.- Reimagining Digitalized Space Integrating Meaning and Technology in Building Systems.- Parametric Software to Support Architectural Design strategies.- Optimizing Sustainability through digital tools Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame Constructions in Coimbra Residences.- Reassembling Waste: Towards a Carbon Zero Built Environment.- Advancing Architectural Visualization Boosting Scale and Reality with Augmented Reality.- Architecting the Metaverse A Paradigm Shift in Architecture Co-Design.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195515986263,"sku":"9783032027818","price":237.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/formal-methods-in-architecture-9783032027818","provider":"Book Curl","version":"1.0","type":"link"}