Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Formal Methods in Architecture
Formal Methods in Architecture

Formal Methods in Architecture

Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
Livre (relié)env. 333.00 CHF
paraît en septembre

Informations bibliographiques

septembre 2025, Digital Innovations in Architecture, Engineering and Construction, Anglais
Springer International Publishing
978-3-032-02781-8

Mots-clés

Autres titres de la collection: Digital Innovations in Architecture, Engineering and Construction

Afficher tout
Nature-based Cities
Performance-driven Design Approaches for Climate Change Adaptation
Springer International Publishing, 2025
978-3-031-94611-0
env. 189.00 CHF
livrable dans env. 20-45 jours
Non-Destructive Methodologies and Adapted Signal Processing Techniques in the ...
Springer International Publishing, 2025
978-3-031-85779-9
env. 239.00 CHF
livrable dans env. 20-45 jours
New Frontiers of Construction Management
Proceedings of CMW 24
Springer International Publishing, 2025
978-3-031-87223-5
env. 262.00 CHF
livrable dans env. 20-45 jours
Assessing Progress in Decarbonizing Spain’s Building Stock
Indicators and Data Availability
Springer International Publishing, 2025
978-3-031-51831-7
env. 56.90 CHF
livrable dans env. 20-45 jours
Intelligent Building Fire Safety and Smart Firefighting
Springer International Publishing, 2025
978-3-031-48163-5
env. 147.00 CHF
livrable dans env. 20-45 jours
Digital Railway Infrastructure
Springer International Publishing, 2025
978-3-031-49591-5
env. 207.00 CHF
livrable dans env. 20-45 jours
Simulation Tools for Predicting Daylighting Conditions in Buildings
Springer International Publishing, 2025
978-3-031-78329-6
env. 189.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Compositional Intelligence
Architectural Typology through Generative AI
Taylor and Francis, 2025
978-1-041-03056-0
env. 235.00 CHF
paraît en septembre
Data Driven Applications for Emerging Technologies
Taylor and Francis, 2025
978-1-032-99693-6
env. 195.00 CHF
paraît en octobre
Infrastructures of Reality: Metaverse Stories, Spaces, Bodies
Springer International Publishing, 2025
978-3-031-97166-2
env. 44.50 CHF
livrable dans env. 20-45 jours
The Business of Cities
How Corporates and Capital are Re-urbanising our World
Taylor and Francis, 2026
978-1-138-21298-5
env. 44.50 CHF
livrable dans env. 10-20 jours
Smart Innovations in Energy and Mechanical Systems
Proceedings of SIEMS-2025
Springer International Publishing, 2025
978-3-031-95190-9
env. 261.00 CHF
livrable dans env. 20-45 jours
Das neue Werberecht für Ärzte
Auch Ärzte dürfen werben
Springer, 2026
978-3-540-76614-8
env. 58.50 CHF
livrable dans env. 20-45 jours
Design Thinking
Creativity, Collaboration and Culture
Springer International Publishing, 2025
978-3-031-94720-9
env. 238.00 CHF
paraît en août
Proceedings of CIBv 2024
Civil Engineering and Buildings Services
Springer International Publishing, 2025
978-3-031-94640-0
env. 334.00 CHF
livrable dans env. 20-45 jours
3D Research Challenges in Cultural Heritage IV
Risk Prevention and Monitoring Methods
Springer International Publishing, 2025
978-3-031-93752-1
env. 55.90 CHF
livrable dans env. 20-45 jours
Dynamics of Motor Vehicles
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-47157-6
env. 273.00 CHF
paraît en janvier