Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Methods in Architecture

Name: Formal Methods in Architecture
Brand: Springer
SKU: 49976085
Price: 306.2 EUR
Availability: InStock
Author: Bruno Marques
ISBN: 9783032027825

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

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, oktober 2025

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in A... Celoten opis

Koda Libristo: 49976085

743 b

306.20 €

Na zalogi Prenesi zdaj

Drugi so kupili tudi

Cellokonzerte S. /Järvi Isserlis

Zvočni CD

24.01 €

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 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. Some of the themes are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility, and visibility analysis. The book serves as a valuable resource for those in academia and industry.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods in Architecture

Avtor Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz

Jezik

Angleščina

Vezava E-knjiga - Adobe ePub DRM

Datum izida 2025

EAN 9783032027825

Koda Libristo 49976085

Založba Springer

Kategorije

Economics, Finance, Business & Management > Business & Management > Management & management techniques > Management of specific areas > Management of real estate, property & plant

Economics, Finance, Business & Management > Economics > Economics of specific sectors > Urban economics

Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM)

Technology, Engineering, Agriculture > Civil engineering, surveying & building > Building construction & materials

Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)

Computing & Information Technology > Computer science > Virtual reality

Computing & Information Technology > Computer science > Human–computer interaction

Computing & Information Technology > Information technology: general issues

Computing & Information Technology > Business applications