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.
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 | ||
| ||
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 | ||
| ||
GIS in Sustainable Urban Planning and Management / / edited by Martin van Maarseveen, Javier Martinez, Johannes Flacke
| GIS in Sustainable Urban Planning and Management / / edited by Martin van Maarseveen, Javier Martinez, Johannes Flacke |
| Autore | van Maarseveen Martin |
| Pubbl/distr/stampa | Leiden, : CRC Press, 2019 |
| Descrizione fisica | 1 online resource (xii, 351 ages) : digital, PDF file(s) |
| Disciplina | 307.12160285 |
| Altri autori (Persone) |
MaarseveenMartin van
MartinezJavier FlackeJohannes |
| Soggetto topico |
City planning - Data processing
Geographic information systems |
| Soggetto non controllato |
Geographic Information Systems (GIS)
Urban planning |
| ISBN |
1-351-37908-9
1-315-14663-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910295747403321 |
|
van Maarseveen Martin
|
||
| Leiden, : CRC Press, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
HPCC 2017 : proceedings, 2017 IEEE 19th Intl Conference on High Performance Computing and Communications : SmartCity 2017 : 2017 IEEE 15th Intl Conference on Smart City : DSS 2017 : 2017 IEEE 3rd Intl Conference on Data Science and Systems : Bangkok, Thailand, 18-20 December 2017
| HPCC 2017 : proceedings, 2017 IEEE 19th Intl Conference on High Performance Computing and Communications : SmartCity 2017 : 2017 IEEE 15th Intl Conference on Smart City : DSS 2017 : 2017 IEEE 3rd Intl Conference on Data Science and Systems : Bangkok, Thailand, 18-20 December 2017 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource (638 pages) |
| Soggetto topico |
High performance computing
Telecommunication systems City planning - Data processing |
| ISBN | 1-5386-2588-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280265503316 |
| New York : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
HPCC 2017 : proceedings, 2017 IEEE 19th Intl Conference on High Performance Computing and Communications : SmartCity 2017 : 2017 IEEE 15th Intl Conference on Smart City : DSS 2017 : 2017 IEEE 3rd Intl Conference on Data Science and Systems : Bangkok, Thailand, 18-20 December 2017
| HPCC 2017 : proceedings, 2017 IEEE 19th Intl Conference on High Performance Computing and Communications : SmartCity 2017 : 2017 IEEE 15th Intl Conference on Smart City : DSS 2017 : 2017 IEEE 3rd Intl Conference on Data Science and Systems : Bangkok, Thailand, 18-20 December 2017 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource (638 pages) |
| Soggetto topico |
High performance computing
Telecommunication systems City planning - Data processing |
| ISBN | 1-5386-2588-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910258758203321 |
| New York : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSSC : 2015 International Conference on Smart and Sustainable City and Big Data : 26-27 July 2015
| ICSSC : 2015 International Conference on Smart and Sustainable City and Big Data : 26-27 July 2015 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (174 pages) |
| Soggetto topico |
Sustainable development - Data processing
City planning - Data processing |
| ISBN | 1-78561-032-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910136785703321 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSSC : 2015 International Conference on Smart and Sustainable City and Big Data : 26-27 July 2015
| ICSSC : 2015 International Conference on Smart and Sustainable City and Big Data : 26-27 July 2015 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (174 pages) |
| Soggetto topico |
Sustainable development - Data processing
City planning - Data processing |
| ISBN | 1-78561-032-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279259603316 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICSSC 2013 : IET International Conference on Smart and Sustainable City 2013 : 19-20 August 2013
| ICSSC 2013 : IET International Conference on Smart and Sustainable City 2013 : 19-20 August 2013 |
| Pubbl/distr/stampa | Stevenage, England : , : IET, , 2014 |
| Descrizione fisica | 1 online resource (496 pages) |
| Soggetto topico |
Sustainable development - Data processing
City planning - Data processing |
| ISBN | 1-84919-707-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135097303321 |
| Stevenage, England : , : IET, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICSSC 2013 : IET International Conference on Smart and Sustainable City 2013 : 19-20 August 2013
| ICSSC 2013 : IET International Conference on Smart and Sustainable City 2013 : 19-20 August 2013 |
| Pubbl/distr/stampa | Stevenage, England : , : IET, , 2014 |
| Descrizione fisica | 1 online resource (496 pages) |
| Soggetto topico |
Sustainable development - Data processing
City planning - Data processing |
| ISBN | 1-84919-707-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279267103316 |
| Stevenage, England : , : IET, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICSSC 2017 : 4th International Conference on Smart and Sustainable City : 5-6 June 2017, Shanghai, China / / Institution of Engineering and Technology
| ICSSC 2017 : 4th International Conference on Smart and Sustainable City : 5-6 June 2017, Shanghai, China / / Institution of Engineering and Technology |
| Pubbl/distr/stampa | London : , : Institution of Engineering and Technology, , 2018 |
| Descrizione fisica | 1 online resource (103 pages) |
| Disciplina | 309.250285 |
| Soggetto topico |
City planning - Data processing
Smart cities |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280266803316 |
| London : , : Institution of Engineering and Technology, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
City planning - Data processing
(60)
- Smart cities (9)
- Smart power grids (9)
- Big data (6)
- Data mining (6)