Formal Methods in Architecture and Urbanism, Volume 2.

Viana  David Leite.; Morais  Franklim.; Ruivo  Catarina.

Главная
→
EBSCO eBook (только для КФУ)
→
Полнотекстовая коллекция книг EBSCO eBook
→
Просмотр элемента

dc.contributor.author	Ruivo Catarina.
dc.contributor.author	Viana David Leite.
dc.contributor.author	Morais Franklim.
dc.date.accessioned	2024-01-26T21:35:35Z
dc.date.available	2024-01-26T21:35:35Z
dc.date.issued	2021
dc.identifier.citation	Ruivo и др. Formal Methods in Architecture and Urbanism, Volume 2. - 1 online resource (541 p.) - URL: https://libweb.kpfu.ru/ebsco/pdf/3198903.pdf
dc.identifier.isbn	1527576655
dc.identifier.isbn	9781527576650
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/178407
dc.description.abstract	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 presented here, in order to look at the potentials and purposes of these formal methods, both those on the horizon and those already accomplished. This book promotes the use of formal methods in the creation of new explicit languages for problem-solving in the field. This collection of papers will.
dc.description.tableofcontents	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
dc.description.tableofcontents	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
dc.language	English
dc.language.iso	en
dc.subject.other	Architecture -- Data processing.
dc.subject.other	Formal methods (Computer science)
dc.subject.other	Computer architecture.
dc.subject.other	Ordinateurs -- Architecture.
dc.subject.other	Méthodes formelles (Informatique)
dc.subject.other	Architecture.
dc.subject.other	City & town planning - architectural aspects.
dc.subject.other	Computer science.
dc.subject.other	Architecture -- Data processing.
dc.subject.other	Formal methods (Computer science)
dc.subject.other	Electronic books.
dc.title	Formal Methods in Architecture and Urbanism, Volume 2.
dc.type	Book
dc.description.pages	1 online resource (541 p.)
dc.collection	Электронно-библиотечные системы
dc.source.id	EN05CEBSCO05C876