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...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Newcastle upon Tyne, UK
Cambridge Scholars Publishing,
[2021]
|
| Subjects: | |
| Online Access: | EBSCOhost Перейти в каталог НБ ТГУ |
| LEADER | 03392cam a2200565Ki 4500 | ||
|---|---|---|---|
| 001 | koha001014697 | ||
| 003 | OCoLC | ||
| 005 | 20250222070044.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 211106s2021 enk o ||| 0 eng d | ||
| 035 | |a koha001014697 | ||
| 040 | |a EBLCP |b eng |e rda |c EBLCP |d YDX |d NLW |d UKAHL |d YDX |d OCLCO |d OCLCF |d OCLCO |d UKMGB |d N$T | ||
| 015 | |a GBC221907 |2 bnb | ||
| 016 | 7 | |a 020384333 |2 Uk | |
| 019 | |a 1283139997 |a 1283819570 |a 1283950371 | ||
| 020 | |a 1527576655 |q electronic book | ||
| 020 | |a 9781527576650 |q (electronic bk.) | ||
| 020 | |z 9781527574465 | ||
| 020 | |z 1527574466 | ||
| 037 | |a 9781527576650 |b Cambridge Scholars Publishing | ||
| 050 | 4 | |a NA2728 |b .F67 2021 | |
| 082 | 0 | 4 | |a 720.285 |2 23 |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Formal Methods in Architecture and Urbanism, Volume 2. |
| 264 | 1 | |a Newcastle upon Tyne, UK |b Cambridge Scholars Publishing, |c [2021] | |
| 300 | |a 1 online resource (541 p.) | ||
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 520 | |a 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. | ||
| 653 | 0 | |a Architecture |x Data processing. | |
| 653 | 0 | |a Formal methods (Computer science) | |
| 653 | 0 | |a Computer architecture. | |
| 653 | 6 | |a Ordinateurs |x Architecture. | |
| 653 | 6 | |a Méthodes formelles (Informatique) | |
| 653 | 7 | |a Architecture. |2 bicssc | |
| 653 | 7 | |a City & town planning - architectural aspects. |2 bicssc | |
| 653 | 7 | |a Computer science. |2 bicssc | |
| 653 | 7 | |a Architecture |x Data processing. |2 fast |0 (OCoLC)fst00813401 | |
| 653 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 655 | 0 | |a EBSCO eBooks |9 905790 | |
| 655 | 4 | |a Electronic books. |9 899821 | |
| 700 | 1 | |a Ruivo, Catarina. |9 914304 | |
| 700 | 1 | |a Viana, David Leite. |9 914305 | |
| 700 | 1 | |a Morais, Franklim. |9 914306 | |
| 856 | 4 | 0 | |3 EBSCOhost |u https://www.lib.tsu.ru/limit/2023/EBSCO/3198903.pdf |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1014697 | ||
| 910 | |a EBSCO eBooks | ||
| 999 | |c 1014697 |d 1014697 | ||
| 039 | |||