9789819922161 - formal methods in architecture: proceedings of the 6th international symposium on formal methods in architecture (6fma), a coruña 2022 (digital ... architecture, engineering and construction) (14 resultados)

Idioma: Inglés
Editorial: Springer Nature Singapore, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 80,81
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: Hervorragend. Zustand: Hervorragend | Seiten: 544 | Sprache: Englisch | Produktart: Bücher | This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. 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 in the book 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. This book proves a valuable resource for those in academia and industry.

Idioma: Inglés
Editorial: Springer, Berlin|Springer Nature Singapore|Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 197,62
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Mora, Plácido Lizancos (EDT); Viana, David Leite (EDT); Morais, Franklim (EDT); Vaz, Jorge Vieira (EDT)
Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 258,09
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer Verlag, Singapore, Singapore, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 280,83
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. 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 in the book 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. This book proves a valuable resource for those in academia and industry. This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Idioma: Inglés
Editorial: Springer Nature Singapore, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 239,90
Envío por EUR 39,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: gut. 2023. Formal Methods in Architecture In deutscher Sprache. pages.

Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture 6fma, a Coruña 2022
Mora, Plácido Lizancos (EDT); Viana, David Leite (EDT); Morais, Franklim (EDT); Vaz, Jorge Vieira (EDT)
Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 291,82
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 309,52
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer, Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 246,77
Envío por EUR 65,37Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from m…athematical 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 in the book 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. This book proves a valuable resource for those in academia and industry.

Idioma: Inglés
Editorial: Springer Nature, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 354,12
Envío por EUR 17,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 543 pages. 9.25x6.10x1.22 inches. In Stock.

Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 182,29
Envío por EUR 11,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.

Idioma: Inglés
Editorial: Springer Nature Singapore, Springer Nature Singapore Aug 2023, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 235,39
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. 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 in the book 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. This book proves a valuable resource for those in academia and industry. 544 pp. Englisch.

Idioma: Inglés
Editorial: Springer, Springer Aug 2023, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 235,39
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments ste…mming 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 in the book 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. This book proves a valuable resource for those in academia and industry.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 544 pp. Englisch.

Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 331,72
Envío por EUR 7,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.

Idioma: Inglés
Editorial: Springer, 2023
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 331,66
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.