Formal methods in architecture and urbanism:
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Newcastle upon Tyne
Cambridge Scholars Publishing
2018
|
| Schlagworte: | |
| Beschreibung: | viii, 397 Seiten Illustrationen, Diagramme, Karten |
| ISBN: | 1527507629 9781527507623 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044898967 | ||
| 003 | DE-604 | ||
| 005 | 20180604 | ||
| 007 | t | ||
| 008 | 180411s2018 a||| |||| 00||| eng d | ||
| 020 | |a 1527507629 |c hardback |9 1-5275-0762-9 | ||
| 020 | |a 9781527507623 |c hardback |9 978-1-5275-0762-3 | ||
| 035 | |a (OCoLC)1035453351 | ||
| 035 | |a (DE-599)BVBBV044898967 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 245 | 1 | 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 |b Cambridge Scholars Publishing |c 2018 | |
| 300 | |a viii, 397 Seiten |b Illustrationen, Diagramme, Karten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Architektur |0 (DE-588)4002851-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Urbanität |0 (DE-588)4062110-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Architektur |0 (DE-588)4002851-3 |D s |
| 689 | 0 | 1 | |a Urbanität |0 (DE-588)4062110-8 |D s |
| 689 | 0 | 2 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 4 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Viana, David Leite |0 (DE-588)1157017576 |4 edt | |
| 700 | 1 | |a Morais, Franklim |0 (DE-588)1157017606 |4 edt | |
| 700 | 1 | |a Vaz, Jorge Vieira |0 (DE-588)1157017649 |4 edt | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030292810 | ||
Datensatz im Suchindex
| _version_ | 1804178452693123072 |
|---|---|
| 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_GND | (DE-588)1157017576 (DE-588)1157017606 (DE-588)1157017649 |
| author_facet | Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
| building | Verbundindex |
| bvnumber | BV044898967 |
| ctrlnum | (OCoLC)1035453351 (DE-599)BVBBV044898967 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01702nam a2200433 c 4500</leader><controlfield tag="001">BV044898967</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180604 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180411s2018 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1527507629</subfield><subfield code="c">hardback</subfield><subfield code="9">1-5275-0762-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527507623</subfield><subfield code="c">hardback</subfield><subfield code="9">978-1-5275-0762-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1035453351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044898967</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="245" ind1="1" 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</subfield><subfield code="b">Cambridge Scholars Publishing</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 397 Seiten</subfield><subfield code="b">Illustrationen, Diagramme, Karten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Architektur</subfield><subfield code="0">(DE-588)4002851-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Urbanität</subfield><subfield code="0">(DE-588)4062110-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Architektur</subfield><subfield code="0">(DE-588)4002851-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Urbanität</subfield><subfield code="0">(DE-588)4062110-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite</subfield><subfield code="0">(DE-588)1157017576</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim</subfield><subfield code="0">(DE-588)1157017606</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira</subfield><subfield code="0">(DE-588)1157017649</subfield><subfield code="4">edt</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030292810</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044898967 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:04:12Z |
| institution | BVB |
| isbn | 1527507629 9781527507623 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030292810 |
| oclc_num | 1035453351 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | viii, 397 Seiten Illustrationen, Diagramme, Karten |
| 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 Cambridge Scholars Publishing 2018 viii, 397 Seiten Illustrationen, Diagramme, Karten txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Architektur (DE-588)4002851-3 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Urbanität (DE-588)4062110-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Architektur (DE-588)4002851-3 s Urbanität (DE-588)4062110-8 s Datenverarbeitung (DE-588)4011152-0 s Formale Methode (DE-588)4333722-3 s Theoretische Informatik (DE-588)4196735-5 s DE-604 Viana, David Leite (DE-588)1157017576 edt Morais, Franklim (DE-588)1157017606 edt Vaz, Jorge Vieira (DE-588)1157017649 edt |
| spellingShingle | Formal methods in architecture and urbanism Theoretische Informatik (DE-588)4196735-5 gnd Architektur (DE-588)4002851-3 gnd Datenverarbeitung (DE-588)4011152-0 gnd Formale Methode (DE-588)4333722-3 gnd Urbanität (DE-588)4062110-8 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4002851-3 (DE-588)4011152-0 (DE-588)4333722-3 (DE-588)4062110-8 (DE-588)4143413-4 |
| 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 | Theoretische Informatik (DE-588)4196735-5 gnd Architektur (DE-588)4002851-3 gnd Datenverarbeitung (DE-588)4011152-0 gnd Formale Methode (DE-588)4333722-3 gnd Urbanität (DE-588)4062110-8 gnd |
| topic_facet | Theoretische Informatik Architektur Datenverarbeitung Formale Methode Urbanität Aufsatzsammlung |
| work_keys_str_mv | AT vianadavidleite formalmethodsinarchitectureandurbanism AT moraisfranklim formalmethodsinarchitectureandurbanism AT vazjorgevieira formalmethodsinarchitectureandurbanism |