Cargando…
Formal methods in architecture and urbanism /
"The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Form...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Newcastle upon Tyne, UK :
Cambridge Scholars Publishing,
2018.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_on1046634263 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 180730s2018 enkae ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d YDX |d EBLCP |d ORU |d NLE |d UKMGB |d ESU |d UKAHL |d OCLCQ |d K6U |d OCLCO |d ELBRO |d OCLCO |d OCLCQ |d OCLCO | ||
| 015 | |a GBB8F0433 |2 bnb | ||
| 016 | 7 | |a 019001164 |2 Uk | |
| 020 | |a 9781527514577 |q (electronic bk.) | ||
| 020 | |a 1527514579 |q (electronic bk.) | ||
| 020 | |z 9781527507623 | ||
| 020 | |z 1527507629 | ||
| 029 | 1 | |a UKMGB |b 019001164 | |
| 029 | 1 | |a AU@ |b 000063832813 | |
| 035 | |a (OCoLC)1046634263 | ||
| 037 | |a 9781527514577 |b Cambridge Scholars Publishing | ||
| 050 | 4 | |a NA2728 |b .F67 2018eb | |
| 072 | 7 | |a ARC |x 022000 |2 bisacsh | |
| 072 | 7 | |a ARC |x 024010 |2 bisacsh | |
| 072 | 7 | |a ARC |x 015000 |2 bisacsh | |
| 072 | 7 | |a ARC |x 012000 |2 bisacsh | |
| 082 | 0 | 4 | |a 720.285 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Formal methods in architecture and urbanism / |c edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. |
| 264 | 1 | |a Newcastle upon Tyne, UK : |b Cambridge Scholars Publishing, |c 2018. | |
| 300 | |a 1 online resource (viii, 397 pages) : |b illustrations, plans | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Introduction -- 3rd Symposium Formal Methods in Architecture: Opening Speech -- Part I. From Information Gathering and Processing -- Part II. To Higher Semantic Levels of Theories --Part III. To Design Methods of Project Production -- Part IV. To Material Production. | |
| 520 | |a "The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Formalization seeks to guarantee that solutions for daily problems are produced in a manner that ensures their greatest possible adequacy and the least test time in direct confrontation with reality. This book contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM/VDC, CAD/CAM, cellular automata, GIS, parametric processes, processing and space syntax presented within the 3rd Symposium of Formal Methods in Architecture. The contents reach from millennial geometry to current shape grammars, engaging several formal approaches to architecture and urbanism, with different points of view, fields of application, grades of abstraction and formalization."--Provided by publisher | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Architecture |x Data processing. | |
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 6 | |a Architecture |x Informatique. | |
| 650 | 7 | |a Architecture. |2 bicssc | |
| 650 | 7 | |a Regional & area planning. |2 bicssc | |
| 650 | 7 | |a Technology: general issues. |2 bicssc | |
| 650 | 7 | |a ARCHITECTURE |x Adaptive Reuse & Renovation. |2 bisacsh | |
| 650 | 7 | |a ARCHITECTURE |x Buildings |x Landmarks & Monuments. |2 bisacsh | |
| 650 | 7 | |a ARCHITECTURE |x Professional Practice. |2 bisacsh | |
| 650 | 7 | |a ARCHITECTURE |x Reference. |2 bisacsh | |
| 650 | 7 | |a Architecture |x Data processing |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 700 | 1 | |a Viana, David Leite, |e editor. | |
| 700 | 1 | |a Morais, Franklim, |e editor. | |
| 700 | 1 | |a Vaz, Jorge Vieira, |e editor. | |
| 776 | 0 | 8 | |i Print version: |t Formal methods in architecture and urbanism. |d Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 |z 9781527507623 |w (OCoLC)1028209370 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1856826 |z Texto completo |
| 938 | |a eLibro |b ELBO |n ELB152091 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34864139 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5477620 | ||
| 938 | |a EBSCOhost |b EBSC |n 1856826 | ||
| 938 | |a YBP Library Services |b YANK |n 15616406 | ||
| 994 | |a 92 |b IZTAP | ||