top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors
Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (XXXII, 313 p. 193 illus., 159 illus. in color.)
Disciplina 720.285
Collana Advances in science, technology & innovation
Soggetto topico Architecture - Data processing
City planning - Data processing
Regional planning - Data processing
Formal methods (Computer science)
ISBN 3-030-57509-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Ethics of our Work -- From Datascape to Formal Methods -- Variational Beauty of Space. Machine Intuition and Urban Networks -- Global and Disciplinary Frameworks for Formal Methods in Architecture -- Mathematically Developing Building Facades: an Algorithmic Framework -- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer) -- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design -- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking -- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations -- Digital Doxiadis: Parametric Thinking for Human Settlements -- L’Objet Invalide.
Record Nr. UNINA-9910484149903321
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Geographic knowledge infrastructure : applications to territorial intelligence and smart cities / / Robert Laurini
Geographic knowledge infrastructure : applications to territorial intelligence and smart cities / / Robert Laurini
Autore Laurini Robert
Pubbl/distr/stampa London, [England] ; ; Oxford, [England] : , : ISTE : , : Elsevier, , 2017
Descrizione fisica 1 online resource (314 pages)
Disciplina 307.12160285
Soggetto topico City planning - Data processing
Regional planning - Data processing
Geographic information systems
ISBN 0-08-102352-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From geodata to geographic knowledge -- Knowledge representation -- Towards geographic knowledge systems -- Geographic objects -- Geographic relations -- Geographic ontologies -- Complex geographic objects and structures -- Gazetteers and multilingualism -- Geographic knowledge discovery and data mining -- Geographic applicative rules -- Geovisualization and chorems - GKS: querying and interoperability -- Conclusion: knowledge as infrastructure for smart governance.
Record Nr. UNINA-9910583345103321
Laurini Robert  
London, [England] ; ; Oxford, [England] : , : ISTE : , : Elsevier, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Journal of the Urban and Regional Information Systems Association
Journal of the Urban and Regional Information Systems Association
Pubbl/distr/stampa Madison, WI : , : University of Wisconsin Press, , [1989-2017]
Disciplina 361.6/0285
Soggetto topico Regional planning - Data processing
Regional planning - United States - Data processing
Soggetto genere / forma Periodicals.
ISSN 2378-6000
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti Journal
URISA journal
Journal of the URISA
Record Nr. UNINA-9910154160303321
Madison, WI : , : University of Wisconsin Press, , [1989-2017]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Progetti di territorio : la costruzione di nuove tecniche di rappresentazione nei Sistemi Informativi Territoriali / Massimo Carta
Progetti di territorio : la costruzione di nuove tecniche di rappresentazione nei Sistemi Informativi Territoriali / Massimo Carta
Autore Carta Massimo
Pubbl/distr/stampa Firenze : , : Firenze University Press, , 2005
Descrizione fisica 1 online resource (183 pages) : colour illustrations; digital, PDF file(s)
Disciplina 711
Collana Tesi. Scienze Tecnologiche
Soggetto topico Regional planning - Data processing
City planning - Data processing
Landscape design - Data processing
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910774885303321
Carta Massimo  
Firenze : , : Firenze University Press, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui