Formal methods architecture proceedings (31 resultados)
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 blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,24
Envío por EUR 14,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
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, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 179,07
Envío por EUR 14,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Más imágenesIdioma: Inglés
Editorial: Springer, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 144,55
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Formal Methods in Architecture | Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 | Sara Eloy (u. a.) | Taschenbuch | Advances in Science, Technology & Innovation | xxxii | Englisch | 2022 | Springer | EAN 9783030575113 | Verantwortliche Person für…die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Editorial: Springer, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 223,75
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Idioma: Inglés
Editorial: Springer, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 169,80
Envío por EUR 64,25Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that…stem from the 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
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,12
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, 2024
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 202,85
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Formal Methods in Architecture | Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 | Plácido Lizancos Mora (u. a.) | Taschenbuch | Digital Innovations in Architecture, Engineering and Construction | xxviii | Englisch | 2024 | Springer | EAN 9789819…922192 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
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,85
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 International Publishing, 2021
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 235,39
Envío por EUR 65,52Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem fr…om the 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.
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,55
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 311,58
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Idioma: Inglés
Editorial: Springer, 2024
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 311,71
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 2023rd edition NO-PA16APR2015-KAP.
Idioma: Inglés
Editorial: Springer, Springer, 2024
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 244,86
Envío por EUR 64,07Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. 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 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, 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.
Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024
Marques, Bruno (EDT); Ruivo, Catarina (EDT); Viana, David Leite (EDT); Vaz, Jorge Vieira (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 332,71
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.
Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024
Marques, Bruno (EDT); Ruivo, Catarina (EDT); Viana, David Leite (EDT); Vaz, Jorge Vieira (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 339,65
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024
Marques, Bruno (EDT); Ruivo, Catarina (EDT); Viana, David Leite (EDT); Vaz, Jorge Vieira (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 329,40
Envío por EUR 17,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024
Marques, Bruno (EDT); Ruivo, Catarina (EDT); Viana, David Leite (EDT); Vaz, Jorge Vieira (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 348,35
Envío por EUR 17,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
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,22
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.
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 308,08
Envío por EUR 66,18Se 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 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.
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 423,66
Envío por EUR 17,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 500 pages. 9.26x6.11x9.21 inches. In Stock.
Idioma: Inglés
Editorial: Springer, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 236,20
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, 2022
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 234,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.
Idioma: Inglés
Editorial: Springer, 2021
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 199,65
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. Formal Methods in Architecture | Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 | Sara Eloy (u. a.) | Buch | Advances in Science, Technology & Innovation | xxxii | Englisch | 2021 | Springer | EAN 9783030575083 | Verantwortliche Person für die EU: Spring…er Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu 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: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 331,75
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, 2021
Serie: Advances in Science, Technology & Innovation, Libro 42 de 129. Libro 42 de 129 - Advances in Science, Technology & Innovation
- 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,91
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, 2024
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 332,58
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, 2024
Serie: Digital Innovations in Architecture, Engineering and Construction, Libro 10 de 17. Libro 10 de 17 - Digital Innovations in Architecture, Engineering and Construction
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 331,06
Envío por EUR 9,95Se envía de Alemania 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.
