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...

Full description

Bibliographic Details
Other Authors:	Ruivo, Catarina, Viana, David Leite, Morais, Franklim
Format:	eBook
Language:	English
Published:	Newcastle upon Tyne, UK Cambridge Scholars Publishing, [2021]
Subjects:	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 Access:	EBSCOhost Перейти в каталог НБ ТГУ

Table of Contents:

Intro
Table of Contents
Introduction
4th Symposium Formal Methods in Architecture
Part I
I.1
Chapter One
Chapter Two
Chapter Three
Chapter Four
Chapter Five
Chapter Six
Chapter Seven
Chapter Eight
I.2
Chapter Nine
Chapter Ten
Chapter Eleven
I.3
Chapter Twelve
Chapter Thirteen
I.4
Chapter Fourteen
Chapter Fifteen
I.5
Chapter Sixteen
Chapter Seventeen
Part II
II.1
Chapter Eighteen
II.2
Chapter Nineteen
Chapter Twenty
Chapter Twenty-One
Chapter Twenty-Two
Chapter Twenty-Three
Chapter Twenty-Four
II.3
Chapter Twenty-Five
Chapter Twenty-Six
Chapter Twenty-Seven
II.4
Chapter Twenty-Eight
Chapter Twenty-Nine
List of Figures
Contributor Biographies

Formal Methods in Architecture and Urbanism, Volume 2.

Similar Items