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...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Newcastle upon Tyne, UK :
Cambridge Scholars Publishing,
2018.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "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 |
| Beschreibung: | 1 online resource (viii, 397 pages) : illustrations, plans |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9781527514577 1527514579 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1046634263 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLCL |d SXB |d OCLCQ | ||
| 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 | ||
| 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 | 7 | |a 720.285 |2 23 | |
| 049 | |a MAIN | ||
| 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 | ||
| 650 | 0 | |a Architecture |x Data processing. | |
| 650 | 0 | |a Formal methods (Computer science) |0 http://id.loc.gov/authorities/subjects/sh99003622 | |
| 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. | |
| 758 | |i has work: |a Formal methods in architecture and urbanism (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFyGjM6xw36KYmPcxgdWQm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1856826 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1046634263 |
|---|---|
| _version_ | 1816882466897526784 |
| adam_text | |
| any_adam_object | |
| author2 | Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
| author2_role | edt edt edt |
| author2_variant | d l v dl dlv f m fm j v v jv jvv |
| author_facet | Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | N - Fine Arts |
| callnumber-label | NA2728 |
| callnumber-raw | NA2728 .F67 2018eb |
| callnumber-search | NA2728 .F67 2018eb |
| callnumber-sort | NA 42728 F67 42018EB |
| callnumber-subject | NA - Architecture |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)1046634263 |
| dewey-full | 720.285 |
| dewey-hundreds | 700 - The arts |
| dewey-ones | 720 - Architecture |
| dewey-raw | 720.285 |
| dewey-search | 720.285 |
| dewey-sort | 3720.285 |
| dewey-tens | 720 - Architecture |
| discipline | Architektur |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04412cam a2200709 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1046634263</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">180730s2018 enkae ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">EBLCP</subfield><subfield code="d">ORU</subfield><subfield code="d">NLE</subfield><subfield code="d">UKMGB</subfield><subfield code="d">ESU</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">ELBRO</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB8F0433</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">019001164</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527514577</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1527514579</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781527507623</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1527507629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1046634263</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9781527514577</subfield><subfield code="b">Cambridge Scholars Publishing</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">NA2728</subfield><subfield code="b">.F67 2018eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">ARC</subfield><subfield code="x">022000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">ARC</subfield><subfield code="x">024010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">ARC</subfield><subfield code="x">015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">ARC</subfield><subfield code="x">012000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">720.285</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formal methods in architecture and urbanism /</subfield><subfield code="c">edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Newcastle upon Tyne, UK :</subfield><subfield code="b">Cambridge Scholars Publishing,</subfield><subfield code="c">2018.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 397 pages) :</subfield><subfield code="b">illustrations, plans</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Architecture</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh99003622</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Architecture</subfield><subfield code="x">Informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Architecture.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Regional & area planning.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Technology: general issues.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ARCHITECTURE</subfield><subfield code="x">Adaptive Reuse & Renovation.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ARCHITECTURE</subfield><subfield code="x">Buildings</subfield><subfield code="x">Landmarks & Monuments.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ARCHITECTURE</subfield><subfield code="x">Professional Practice.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ARCHITECTURE</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Architecture</subfield><subfield code="x">Data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Formal methods in architecture and urbanism (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFyGjM6xw36KYmPcxgdWQm</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Formal methods in architecture and urbanism.</subfield><subfield code="d">Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018</subfield><subfield code="z">9781527507623</subfield><subfield code="w">(OCoLC)1028209370</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1856826</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">eLibro</subfield><subfield code="b">ELBO</subfield><subfield code="n">ELB152091</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH34864139</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL5477620</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1856826</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">15616406</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-on1046634263 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:29:04Z |
| institution | BVB |
| isbn | 9781527514577 1527514579 |
| language | English |
| oclc_num | 1046634263 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 397 pages) : illustrations, plans |
| psigel | ZDB-4-EBA |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Cambridge Scholars Publishing, |
| record_format | marc |
| spelling | Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018. 1 online resource (viii, 397 pages) : illustrations, plans text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references. Print version record. 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. "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 Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc Regional & area planning. bicssc Technology: general issues. bicssc ARCHITECTURE Adaptive Reuse & Renovation. bisacsh ARCHITECTURE Buildings Landmarks & Monuments. bisacsh ARCHITECTURE Professional Practice. bisacsh ARCHITECTURE Reference. bisacsh Architecture Data processing fast Formal methods (Computer science) fast Viana, David Leite, editor. Morais, Franklim, editor. Vaz, Jorge Vieira, editor. has work: Formal methods in architecture and urbanism (Text) https://id.oclc.org/worldcat/entity/E39PCFyGjM6xw36KYmPcxgdWQm https://id.oclc.org/worldcat/ontology/hasWork Print version: Formal methods in architecture and urbanism. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 9781527507623 (OCoLC)1028209370 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1856826 Volltext |
| spellingShingle | Formal methods in architecture and urbanism / 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. Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc Regional & area planning. bicssc Technology: general issues. bicssc ARCHITECTURE Adaptive Reuse & Renovation. bisacsh ARCHITECTURE Buildings Landmarks & Monuments. bisacsh ARCHITECTURE Professional Practice. bisacsh ARCHITECTURE Reference. bisacsh Architecture Data processing fast Formal methods (Computer science) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh99003622 |
| title | Formal methods in architecture and urbanism / |
| title_auth | Formal methods in architecture and urbanism / |
| title_exact_search | Formal methods in architecture and urbanism / |
| title_full | Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. |
| title_fullStr | Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. |
| title_full_unstemmed | Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. |
| title_short | Formal methods in architecture and urbanism / |
| title_sort | formal methods in architecture and urbanism |
| topic | Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc Regional & area planning. bicssc Technology: general issues. bicssc ARCHITECTURE Adaptive Reuse & Renovation. bisacsh ARCHITECTURE Buildings Landmarks & Monuments. bisacsh ARCHITECTURE Professional Practice. bisacsh ARCHITECTURE Reference. bisacsh Architecture Data processing fast Formal methods (Computer science) fast |
| topic_facet | Architecture Data processing. Formal methods (Computer science) Méthodes formelles (Informatique) Architecture Informatique. Architecture. Regional & area planning. Technology: general issues. ARCHITECTURE Adaptive Reuse & Renovation. ARCHITECTURE Buildings Landmarks & Monuments. ARCHITECTURE Professional Practice. ARCHITECTURE Reference. Architecture Data processing |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1856826 |
| work_keys_str_mv | AT vianadavidleite formalmethodsinarchitectureandurbanism AT moraisfranklim formalmethodsinarchitectureandurbanism AT vazjorgevieira formalmethodsinarchitectureandurbanism |