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...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Newcastle upon Tyne, UK :
Cambridge Scholars Publishing,
[2021]
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (541 pages) |
| ISBN: | 1527576655 9781527576650 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1283850191 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 211106s2021 enk o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d YDX |d NLW |d UKAHL |d YDX |d OCLCO |d OCLCF |d OCLCO |d UKMGB |d N$T |d OCLCQ |d OCL |d OCLCQ |d OCLCO |d OCLCL | ||
| 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 | ||
| 035 | |a (OCoLC)1283850191 |z (OCoLC)1283139997 |z (OCoLC)1283819570 |z (OCoLC)1283950371 | ||
| 037 | |a 9781527576650 |b Cambridge Scholars Publishing | ||
| 050 | 4 | |a NA2728 |b .F67 2021 | |
| 082 | 7 | |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 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 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. | ||
| 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 | |
| 650 | 0 | |a Architecture |x Data processing. | |
| 650 | 0 | |a Formal methods (Computer science) |0 http://id.loc.gov/authorities/subjects/sh99003622 | |
| 650 | 0 | |a Computer architecture. |0 http://id.loc.gov/authorities/subjects/sh85029479 | |
| 650 | 6 | |a Ordinateurs |x Architecture. | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 6 | |a Architecture |x Informatique. | |
| 650 | 7 | |a Architecture. |2 bicssc | |
| 650 | 7 | |a City & town planning |x architectural aspects. |2 bicssc | |
| 650 | 7 | |a Computer science. |2 bicssc | |
| 650 | 7 | |a Computer architecture |2 fast | |
| 650 | 7 | |a Architecture |x Data processing |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 700 | 1 | |a Ruivo, Catarina. | |
| 700 | 1 | |a Viana, David Leite. | |
| 700 | 1 | |a Morais, Franklim. | |
| 758 | |i has work: |a Formal Methods in Architecture and Urbanism, Volume 2 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCXfVvjqqDdXJ8pf9tMtYRq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Ruivo, Catarina. |t Formal Methods in Architecture and Urbanism, Volume 2. |d Newcastle-upon-Tyne : Cambridge Scholars Publisher, ©2021 |z 9781527574465 |
| 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=3198903 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH39377128 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL6796762 | ||
| 938 | |a EBSCOhost |b EBSC |n 3198903 | ||
| 938 | |a YBP Library Services |b YANK |n 17706210 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1283850191 |
|---|---|
| _version_ | 1816882552328159232 |
| adam_text | |
| any_adam_object | |
| author2 | Ruivo, Catarina Viana, David Leite Morais, Franklim |
| author2_role | |
| author2_variant | c r cr d l v dl dlv f m fm |
| author_facet | Ruivo, Catarina Viana, David Leite Morais, Franklim |
| author_sort | Ruivo, Catarina |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | N - Fine Arts |
| callnumber-label | NA2728 |
| callnumber-raw | NA2728 .F67 2021 |
| callnumber-search | NA2728 .F67 2021 |
| callnumber-sort | NA 42728 F67 42021 |
| callnumber-subject | NA - Architecture |
| collection | ZDB-4-EBA |
| 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 |
| ctrlnum | (OCoLC)1283850191 |
| 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>04095cam a2200637 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1283850191</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">211106s2021 enk o 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">EBLCP</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">EBLCP</subfield><subfield code="d">YDX</subfield><subfield code="d">NLW</subfield><subfield code="d">UKAHL</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKMGB</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBC221907</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">020384333</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1283139997</subfield><subfield code="a">1283819570</subfield><subfield code="a">1283950371</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1527576655</subfield><subfield code="q">(electronic book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527576650</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781527574465</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1527574466</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1283850191</subfield><subfield code="z">(OCoLC)1283139997</subfield><subfield code="z">(OCoLC)1283819570</subfield><subfield code="z">(OCoLC)1283950371</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9781527576650</subfield><subfield code="b">Cambridge Scholars Publishing</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">NA2728</subfield><subfield code="b">.F67 2021</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, Volume 2.</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">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (541 pages)</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="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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</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="0"><subfield code="a">Computer architecture.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029479</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Ordinateurs</subfield><subfield code="x">Architecture.</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">City & town planning</subfield><subfield code="x">architectural aspects.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">fast</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">Ruivo, Catarina.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Formal Methods in Architecture and Urbanism, Volume 2 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCXfVvjqqDdXJ8pf9tMtYRq</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="a">Ruivo, Catarina.</subfield><subfield code="t">Formal Methods in Architecture and Urbanism, Volume 2.</subfield><subfield code="d">Newcastle-upon-Tyne : Cambridge Scholars Publisher, ©2021</subfield><subfield code="z">9781527574465</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=3198903</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH39377128</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL6796762</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">3198903</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">17706210</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-on1283850191 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:30:26Z |
| institution | BVB |
| isbn | 1527576655 9781527576650 |
| language | English |
| oclc_num | 1283850191 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (541 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Cambridge Scholars Publishing, |
| record_format | marc |
| spelling | Formal Methods in Architecture and Urbanism, Volume 2. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, [2021] 1 online resource (541 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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. 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 Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Computer architecture. http://id.loc.gov/authorities/subjects/sh85029479 Ordinateurs Architecture. Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc City & town planning architectural aspects. bicssc Computer science. bicssc Computer architecture fast Architecture Data processing fast Formal methods (Computer science) fast Ruivo, Catarina. Viana, David Leite. Morais, Franklim. has work: Formal Methods in Architecture and Urbanism, Volume 2 (Text) https://id.oclc.org/worldcat/entity/E39PCXfVvjqqDdXJ8pf9tMtYRq https://id.oclc.org/worldcat/ontology/hasWork Print version: Ruivo, Catarina. Formal Methods in Architecture and Urbanism, Volume 2. Newcastle-upon-Tyne : Cambridge Scholars Publisher, ©2021 9781527574465 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3198903 Volltext |
| spellingShingle | Formal Methods in Architecture and Urbanism, Volume 2. 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 Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Computer architecture. http://id.loc.gov/authorities/subjects/sh85029479 Ordinateurs Architecture. Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc City & town planning architectural aspects. bicssc Computer science. bicssc Computer architecture fast Architecture Data processing fast Formal methods (Computer science) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh99003622 http://id.loc.gov/authorities/subjects/sh85029479 |
| title | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_auth | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_exact_search | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_full | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_fullStr | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_full_unstemmed | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_short | Formal Methods in Architecture and Urbanism, Volume 2. |
| title_sort | formal methods in architecture and urbanism volume 2 |
| topic | Architecture Data processing. Formal methods (Computer science) http://id.loc.gov/authorities/subjects/sh99003622 Computer architecture. http://id.loc.gov/authorities/subjects/sh85029479 Ordinateurs Architecture. Méthodes formelles (Informatique) Architecture Informatique. Architecture. bicssc City & town planning architectural aspects. bicssc Computer science. bicssc Computer architecture fast Architecture Data processing fast Formal methods (Computer science) fast |
| topic_facet | Architecture Data processing. Formal methods (Computer science) Computer architecture. Ordinateurs Architecture. Méthodes formelles (Informatique) Architecture Informatique. Architecture. City & town planning architectural aspects. Computer science. Computer architecture Architecture Data processing |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3198903 |
| work_keys_str_mv | AT ruivocatarina formalmethodsinarchitectureandurbanismvolume2 AT vianadavidleite formalmethodsinarchitectureandurbanismvolume2 AT moraisfranklim formalmethodsinarchitectureandurbanismvolume2 |