001434148 000__ 04393cam\a2200781\i\4500
001434148 001__ 1434148
001434148 003__ OCoLC
001434148 005__ 20230309003713.0
001434148 006__ m\\\\\o\\d\\\\\\\\
001434148 007__ cr\nn\nnnunnun
001434148 008__ 210104s2021\\\\sz\a\\\\ob\\\\101\0\eng\d
001434148 019__ $$a1229141082$$a1229918713$$a1236329953$$a1241065977$$a1246357683$$a1249943981$$a1250575750$$a1253416253
001434148 020__ $$a3030575098$$q(electronic book)
001434148 020__ $$a9783030575106$$q(print)
001434148 020__ $$a3030575101
001434148 020__ $$a9783030575113$$q(print)
001434148 020__ $$a303057511X
001434148 020__ $$a9783030575090$$q(electronic bk.)
001434148 020__ $$z9783030575083
001434148 020__ $$z303057508X
001434148 0247_ $$a10.1007/978-3-030-57509-0$$2doi
001434148 035__ $$aSP(OCoLC)1238201482
001434148 040__ $$aDCT$$beng$$epn$$cDCT$$dEBLCP$$dSFB$$dOCLCO$$dGW5XE$$dYDX$$dOCLCO$$dOCLCF$$dLEATE$$dVT2$$dLIP$$dUKAHL$$dOCL$$dN$T$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001434148 049__ $$aISEA
001434148 050_4 $$aNA2728
001434148 08204 $$a720.285$$223
001434148 1112_ $$aInternational Symposium on Formal Methods in Architecture$$n(5th :$$d2020 :$$cLisbon, Portugal)
001434148 24510 $$aFormal methods in architecture :$$bproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /$$cSara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editors.
001434148 2463_ $$a5FMA
001434148 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001434148 300__ $$a1 online resource (xxxii, 313 pages) :$$billustrations (some color)
001434148 336__ $$atext$$btxt$$2rdacontent
001434148 337__ $$acomputer$$bc$$2rdamedia
001434148 338__ $$aonline resource$$bcr$$2rdacarrier
001434148 347__ $$atext file
001434148 347__ $$bPDF
001434148 4901_ $$aAdvances in science, technology & innovation, IEREK interdisciplinary series for sustainable development,$$x2522-8714
001434148 5050_ $$aIntroduction -- Design, Construction and Management of the Built Environment -- Social and Ecological Concerns in the Built Environment -- Adaptability and Resilience of the Built Environment -- Design Tools and Technics
001434148 506__ $$aAccess limited to authorized users.
001434148 520__ $$aThis edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
001434148 650_0 $$aArchitecture$$xData processing$$vCongresses.
001434148 650_0 $$aRegional planning$$xData processing$$vCongresses.
001434148 650_0 $$aCity planning$$xData processing$$vCongresses.
001434148 650_0 $$aFormal methods (Computer science)$$vCongresses.
001434148 650_0 $$aCivil engineering.
001434148 650_0 $$aComputer science.
001434148 650_0 $$aMathematics.
001434148 650_6 $$aArchitecture$$xInformatique$$vCongrès.
001434148 650_6 $$aAménagement du territoire$$xInformatique$$vCongrès.
001434148 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001434148 650_6 $$aInformatique.
001434148 650_6 $$aMathématiques.
001434148 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001434148 655_7 $$aConference papers and proceedings.$$2lcgft
001434148 655_7 $$aActes de congrès.$$2rvmgf
001434148 655_0 $$aElectronic books.
001434148 7001_ $$aEloy, Sara,$$eeditor.
001434148 7001_ $$aViana, David Leite,$$eeditor.
001434148 7001_ $$aMorais, Franklim,$$eeditor.
001434148 7001_ $$aVaz, Jorge Vieira,$$eeditor.
001434148 77608 $$iPrint version:$$z9783030575083
001434148 830_0 $$aAdvances in science, technology & innovation,$$x2522-8714
001434148 852__ $$bebk
001434148 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-57509-0$$zOnline Access$$91397441.1
001434148 909CO $$ooai:library.usi.edu:1434148$$pGLOBAL_SET
001434148 980__ $$aBIB
001434148 980__ $$aEBOOK
001434148 982__ $$aEbook
001434148 983__ $$aOnline
001434148 994__ $$a92$$bISE