Copertina

Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 /

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and c...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Marques, Bruno (Redattore), Ruivo, Catarina (Redattore), Leite Viana, David (Redattore), Vieira Vaz, Jorge (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edizione:	1st ed. 2025.
Serie:	Digital Innovations in Architecture, Engineering and Construction,
Soggetti:	Facility management. Building information modeling. Computer-aided engineering. Urban economics. Virtual reality. Augmented reality. Facility Management. Building Information Modeling. Computer-Aided Engineering (CAD, CAE) and Design. Urban Economics. Virtual and Augmented Reality.
Accesso online:	https://doi.org/10.1007/978-3-032-02782-5
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Haptic Interaction 5th International Conference, AsiaHaptics 2022, Beijing, China, November 12–14, 2022, Proceedings /
Pubblicazione: (2023)

Extended Reality First International Conference, ICXR 2024, Xiamen, China, November 14–17, 2024, Proceedings /
Pubblicazione: (2025)

Biomedical Visualisation Volume 16 ‒ Digital Visualisation in Biomedical Education /
Pubblicazione: (2023)

Advances in Representation New AI- and XR-Driven Transdisciplinarity /
Pubblicazione: (2024)

Prototyping User eXperience in eXtended Reality
di: Bordegoni, Monica, et al.
Pubblicazione: (2023)

Platform Based Design and Immersive Technologies for Manufacturing and Assembly in Offsite Construction Applying Extended Reality and Game Applications to PDfMA /
di: Potseluyko, Lilia, et al.
Pubblicazione: (2023)

Beyond Digital Representation Advanced Experiences in AR and AI for Cultural Heritage and Innovative Design /
Pubblicazione: (2024)

Construction Applications of Virtual Reality, Volume 2 Select Proceedings of CONVR 2024 /
Pubblicazione: (2025)

Construction Applications of Virtual Reality, Volume I Select Proceedings of CONVR 2024 /
Pubblicazione: (2025)

Construction Applications of Virtual Reality, Volume 3 Select Proceedings of CONVR 2024 /
Pubblicazione: (2025)

Web 3.0: Concept, Content and Context
di: Cheng, Shenghui
Pubblicazione: (2024)

Generation and Update of a Digital Twin in a Process Plant
di: Stjepandić, Josip, et al.
Pubblicazione: (2024)

Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons First Workshop, WAILS 2024, Salerno, Italy, January 18-19, 2024, Proceedings /
Pubblicazione: (2024)

Digital Railway Infrastructure
Pubblicazione: (2024)

Machine Learning and Mixed Reality for the Enhancement of Cultural Heritage The Monastery of Saints Severino and Sossio Case Study /
di: Perticarini, Maurizio
Pubblicazione: (2024)

Metaverse: Concept, Content and Context
di: Cheng, Shenghui
Pubblicazione: (2023)

Recent Trends in Sports Engineering Select Proceedings of ICSE 2023 /
Pubblicazione: (2025)

Biomedical Visualisation Volume 14 ‒ COVID-19 Technology and Visualisation Adaptations for Biomedical Teaching /
Pubblicazione: (2023)

Immersive Virtual Reality for a Building Occupant-Centric Design Defining, Validating and Applying an Innovative Framework /
di: Latini, Arianna
Pubblicazione: (2024)

Theory of JIZAI Body Towards Mastery Over the Extended Self /
Pubblicazione: (2023)

Understanding the Metaverse Applications, Challenges, and the Future /
Pubblicazione: (2025)

Next Generation Internet The Merging of Reality and Virtuality in the Metaverse /
di: Hoffmann, Peter
Pubblicazione: (2025)

Medical Visualization and Applications of Technology ‒ Volume 2
Pubblicazione: (2024)

Explainable Ambient Intelligence (XAmI) Explainable Artificial Intelligence Applications in Smart Life /
di: Chen, Tin-Chih Toly
Pubblicazione: (2024)

Deep Learning for 3D Point Clouds
di: Gao, Wei, et al.
Pubblicazione: (2025)

Augmented Reality and Artificial Intelligence The Fusion of Advanced Technologies /
Pubblicazione: (2023)

Advances in Remanufacturing Proceedings of the VII International Workshop on Autonomous Remanufacturing /
Pubblicazione: (2024)

Art and Culture in the Multiverse of Metaverses Immersion, Presence, and Interactivity in the Digital Age /
di: Hutson, James
Pubblicazione: (2024)

Embodied Human–Computer Interaction in Vocal Music Performance
di: Baumann, Franziska
Pubblicazione: (2023)

From microverse to metaverse : modelling the future through today's virtual worlds /
di: Evans, Leighton, et al.
Pubblicazione: (2022)

Autonomous Vehicles and Virtual Reality The New Automobile Industrial Revolution /
di: Kemeny, Andras
Pubblicazione: (2024)

Point Cloud Compression Technologies and Standardization /
di: Li, Ge, et al.
Pubblicazione: (2024)

A practical introduction to virtual reality : from concepts to executables /
di: Rebenitsch, Lori, et al.
Pubblicazione: (2024)

Human-Technology Interaction Shaping the Future of Industrial User Interfaces /
Pubblicazione: (2023)

Interactive Media for Cultural Heritage
Pubblicazione: (2025)

Special Topics in Artificial Intelligence and Augmented Reality The Case of Spatial Intelligence Enhancement /
di: Papakostas, Christos, et al.
Pubblicazione: (2024)

Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 /
Pubblicazione: (2023)

Applications of Metaverse and Virtual Reality to Creative Education and Industry
Pubblicazione: (2025)

Lifts and Escalators A user manual /
di: Unger, Dieter
Pubblicazione: (2024)

Architecture and Design for Industry 4.0 Theory and Practice /
Pubblicazione: (2024)