Formal Methods in Architecture and Urbanism, Volume 2.

Formal Methods in Architecture and Urbanism, Volume 2.

This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several formal approaches to architecture and urbanism are...

Полное описание

Библиографическая информация
Другие авторы:	Ruivo, Catarina, Viana, David Leite, Morais, Franklim
Формат:	Электронная книга
Язык:	English
Публикация:	Newcastle upon Tyne, UK Cambridge Scholars Publishing, [2021]
Предметы:	Architecture > Data processing. Formal methods (Computer science) Computer architecture. Ordinateurs > Architecture. Méthodes formelles (Informatique) Architecture. City & town planning - architectural aspects. Computer science. EBSCO eBooks Electronic books.
Online-ссылка:	EBSCOhost Перейти в каталог НБ ТГУ

Похожие документы

Formal methods in architecture and urbanism
Публикация: (2018)

The Economics of Data, Analytics, and Digital Transformation The Theorems, Laws, and Empowerments to Guide Your Organization's Digital Transformation.
по: Schmarzo, Bill
Публикация: (2020)

Modern Computer Architecture and Organization Learn X86, ARM, and RISC-V Architectures and the Design of Smartphones, PCs, and Cloud Servers.
по: Ledin, Jim
Публикация: (2020)

Solution architecture with .NET learn solution architecture principles and design techniques to build modern .NET solutions
по: Hallal, Jamil
Публикация: (2021)

Machine Learning Algorithms Popular Algorithms for Data Science and Machine Learning, 2nd Edition.
по: Bonaccorso, Giuseppe
Публикация: (2018)

Postphenomenology and architecture human technology relations in the built environment
Публикация: (2021)

Grammatical and syntactical approaches in architecture emerging research and opportunities
по: Lee, Ju Hyun, 1973-
Публикация: (2020)

Guidelines for thermography in architecture and civil engineering theory, application area, practical implementation
по: Richter, Torsten, 1972-
Публикация: (2021)

Building Biology Criteria and Architectural Design
по: Ece, Nurgül
Публикация: (2018)

Designing grid cities for optimized urban development and planning
Публикация: (2018)

Handbook of research on digital research methods and architectural tools in urban planning and design
Публикация: (2019)

Perception in architecture here and now
Публикация: (2015)

Collective processes counterpractices in European architecture
по: Donat-Cattin, Natalie
Публикация: (2022)

Architectural Materialisms Nonhuman Creativity
Публикация: (2018)

Robotic building architecture in the age of automation
по: Claypool, Mollie
Публикация: (2019)

Architectural sculpture in the Byzantine Negev characterization and meaning
по: Golan, Karni, 1979-
Публикация: (2020)

Sublime Visions Architecture in the Alps
по: Stacher, Susanne
Публикация: (2018)

Modern architecture and climate design before air conditioning
по: Barber, Daniel A.
Публикация: (2020)

The good metropolis from urban formlessness to metropolitan architecture
по: Eisenschmidt, Alexander
Публикация: (2019)

Listening to the stones essays on architecture and function in ancient Greek sanctuaries in honour of Richard Alan Tomlinson
Публикация: (2019)

Dense + Green Cities Architecture as Urban Ecosystem
по: Schröpfer, Thomas
Публикация: (2020)

Elements in landscape areas, distances, dimensions
по: Zimmermann, Astrid
Публикация: (2020)

250 Things a Landscape Architect Should Know
Публикация: (2021)

Floating architecture construction on and near water
Публикация: (2017)

The Heritage of Edirne in Ottoman and Turkish Times Continuities, Disruptions and Reconnections
Публикация: (2020)

Renaissance and Baroque art and culture in the Eastern Polish-Lithuanian Commonwealth (1506-1696)
по: Szulakowska, Urszula
Публикация: (2018)

Eco-architecture VIII harmonisation between architecture and nature
Публикация: (2020)

Implementing data analytics and architectures for next generation wireless communications
Публикация: (2022)

Quantum computing and Blockchain in business exploring the applications, challenges, and collision of quantum computing and blockchain
по: Krishnakumar, Arunkumar
Публикация: (2020)

Who plans the planning architecture, politics and mankind
по: Burckhardt, Lucius
Публикация: (2020)

Mastering Linux security and hardening secure your Linux server and protect it from intruders, malware attacks, and other external threats
по: Tevault, Donald A.
Публикация: (2018)

Roofscape Design Regenerating the city upon the city
по: Ambrosini, Gustavo
Публикация: (2021)

Hands-on cybersecurity with Blockchain implement DDoS protection, PKI-based identity, 2FA, and DNS security using Blockchain
по: Gupta, Rajneesh
Публикация: (2018)

Modern construction handbook
по: Watts, Andrew
Публикация: (2019)

Conflict, negotiation and perspective taking
по: de Forsberg, Sandra Pineda
Публикация: (2021)

Contemporary Architecture The Genesis and Characteristics of Leading Trends.
по: Tobolczyk, Marta
Публикация: (2021)

Architectures of life and death the eco-aesthetics of the built environment
Публикация: (2021)

The evolution of stars from birth to death
по: Hill, Graham (Astrophysicist)
Публикация: (2020)

Eco-architecture VII harmonisation between architecture and nature
Публикация: (2018)

Design solutions for nZEB retrofit buildings
Публикация: (2018)