Formal methods in architecture and urbanism

Formal methods in architecture and urbanism

Bibliographic Details
Other Authors:	Viana, David Leite, Morais, Franklim, Vaz, Jorge Vieira
Format:	eBook
Language:	English
Published:	Newcastle upon Tyne, UK Cambridge Scholars Publishing, 2018.
Subjects:	Architecture > Data processing. Formal methods (Computer science) ARCHITECTURE / Adaptive Reuse & Renovation ARCHITECTURE / Buildings / Landmarks & Monuments ARCHITECTURE / Professional Practice ARCHITECTURE / Reference EBSCO eBooks Electronic books.
Online Access:	EBSCOhost Перейти в каталог НБ ТГУ

Similar Items

Formal Methods in Architecture and Urbanism, Volume 2.
Published: (2021)

Eco-architecture VII harmonisation between architecture and nature
Published: (2018)

Floating architecture construction on and near water
Published: (2017)

Perception in architecture here and now
Published: (2015)

Handbook of research on digital research methods and architectural tools in urban planning and design
Published: (2019)

Renaissance and Baroque art and culture in the Eastern Polish-Lithuanian Commonwealth (1506-1696)
by: Szulakowska, Urszula
Published: (2018)

Design solutions for nZEB retrofit buildings
Published: (2018)

Islamic heritage architecture
Published: (2017)

Islamic heritage architecture and art II
Published: (2018)

Contemporary strategies and approaches in 3-D information modeling
Published: (2018)

Roofscape Design Regenerating the city upon the city
by: Ambrosini, Gustavo
Published: (2021)

Robotic building architecture in the age of automation
by: Claypool, Mollie
Published: (2019)

Architectural Materialisms Nonhuman Creativity
Published: (2018)

Guidelines for thermography in architecture and civil engineering theory, application area, practical implementation
by: Richter, Torsten, 1972-
Published: (2021)

Elements in landscape areas, distances, dimensions
by: Zimmermann, Astrid
Published: (2020)

250 Things a Landscape Architect Should Know
Published: (2021)

The Heritage of Edirne in Ottoman and Turkish Times Continuities, Disruptions and Reconnections
Published: (2020)

Modern architecture and climate design before air conditioning
by: Barber, Daniel A.
Published: (2020)

Grammatical and syntactical approaches in architecture emerging research and opportunities
by: Lee, Ju Hyun, 1973-
Published: (2020)

Modern Computer Architecture and Organization Learn X86, ARM, and RISC-V Architectures and the Design of Smartphones, PCs, and Cloud Servers.
by: Ledin, Jim
Published: (2020)

Architectural sculpture in the Byzantine Negev characterization and meaning
by: Golan, Karni, 1979-
Published: (2020)

Building Biology Criteria and Architectural Design
by: Ece, Nurgül
Published: (2018)

Collective processes counterpractices in European architecture
by: Donat-Cattin, Natalie
Published: (2022)

The good metropolis from urban formlessness to metropolitan architecture
by: Eisenschmidt, Alexander
Published: (2019)

Modern construction handbook
by: Watts, Andrew, 1957-
Published: (2016)

Sublime Visions Architecture in the Alps
by: Stacher, Susanne
Published: (2018)

Solution architecture with .NET learn solution architecture principles and design techniques to build modern .NET solutions
by: Hallal, Jamil
Published: (2021)

Listening to the stones essays on architecture and function in ancient Greek sanctuaries in honour of Richard Alan Tomlinson
Published: (2019)

Dense + Green Cities Architecture as Urban Ecosystem
by: Schröpfer, Thomas
Published: (2020)

The Economics of Data, Analytics, and Digital Transformation The Theorems, Laws, and Empowerments to Guide Your Organization's Digital Transformation.
by: Schmarzo, Bill
Published: (2020)

Eco-architecture VIII harmonisation between architecture and nature
Published: (2020)

Monument culture international perspectives on the future of monuments in a changing world
Published: (2019)

Exploring security in software architecture and design
Published: (2019)

Python Data Analysis Perform Data Collection, Data Processing, Wrangling, Visualization, and Model Building Using Python
by: Navlani, Avinash
Published: (2021)

Designing grid cities for optimized urban development and planning
Published: (2018)

Postphenomenology and architecture human technology relations in the built environment
Published: (2021)

Modern construction handbook
by: Watts, Andrew
Published: (2019)

Handbook of research on cloud computing and big data applications in IoT
Published: (2019)

Porous City From Metaphor to Urban Agenda
Published: (2018)

Contemporary Architecture The Genesis and Characteristics of Leading Trends.
by: Tobolczyk, Marta
Published: (2021)