View in EDS PDF Full Text

Formal Methods in Architecture and Urbanism, Volume 2

Saved in:
Bibliographic Details
Title: Formal Methods in Architecture and Urbanism, Volume 2
Description: 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 help students, academics, researchers, and practitioners developing formal methods towards the digitalization of the architecture and urbanism sector.
Authors: Catarina Ruivo, Editor, David Leite Viana, Editor, Franklim Morais, Editor, Jorge Vieira Vaz, Editor
Resource Type: eBook.
Subjects: Computer architecture, Formal methods (Computer science), Architecture--Data processing, Architecture--Data processing
Categories: ARCHITECTURE / Urban & Land Use Planning, SOCIAL SCIENCE / Sociology / Urban
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 3198903
RelevancyScore: 1103
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1103.19409179688
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3198903$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3198903$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal Methods in Architecture and Urbanism, Volume 2
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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 help students, academics, researchers, and practitioners developing formal methods towards the digitalization of the architecture and urbanism sector.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Catarina+Ruivo%2C+Editor%22">Catarina Ruivo, Editor</searchLink><br /><searchLink fieldCode="AR" term="%22David+Leite+Viana%2C+Editor%22">David Leite Viana, Editor</searchLink><br /><searchLink fieldCode="AR" term="%22Franklim+Morais%2C+Editor%22">Franklim Morais, Editor</searchLink><br /><searchLink fieldCode="AR" term="%22Jorge+Vieira+Vaz%2C+Editor%22">Jorge Vieira Vaz, Editor</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+architecture%22">Computer architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Architecture--Data+processing%22">Architecture--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Architecture--Data+processing%22">Architecture--Data processing</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22ARCHITECTURE+%2F+Urban+%26+Land+Use+Planning%22">ARCHITECTURE / Urban & Land Use Planning</searchLink><br /><searchLink fieldCode="ZK" term="%22SOCIAL+SCIENCE+%2F+Sociology+%2F+Urban%22">SOCIAL SCIENCE / Sociology / Urban</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=3198903
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 720.285
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer architecture
        Type: general
      – SubjectFull: Formal methods (Computer science)
        Type: general
      – SubjectFull: Architecture--Data processing
        Type: general
      – SubjectFull: Architecture--Data processing
        Type: general
    Titles:
      – TitleFull: Formal Methods in Architecture and Urbanism, Volume 2
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Catarina Ruivo, Editor
      – PersonEntity:
          Name:
            NameFull: David Leite Viana, Editor
      – PersonEntity:
          Name:
            NameFull: Franklim Morais, Editor
      – PersonEntity:
          Name:
            NameFull: Jorge Vieira Vaz, Editor
      – PersonEntity:
          Name:
            NameFull: Catarina Ruivo, Editor
      – PersonEntity:
          Name:
            NameFull: David Leite Viana, Editor
      – PersonEntity:
          Name:
            NameFull: Franklim Morais, Editor
      – PersonEntity:
          Name:
            NameFull: Jorge Vieira Vaz, Editor
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2021
            – D: 08
              M: 04
              Type: profile
              Y: 2022
          Identifiers:
            – Type: isbn-print
              Value: 9781527574465
            – Type: isbn-electronic
              Value: 9781527576650
          Titles:
            – TitleFull: Formal Methods in Architecture and Urbanism, Volume 2
              Type: main
ResultId 1