Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7fma), Porto 2024 1
Kommande
bokomslag Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7fma), Porto 2024
Data & IT

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

Bruno Marques • Catarina Ruivo • David Leite Viana • Jorge Vieira Vaz

Inbunden

5229:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

  • 2025
  • Författare: Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz
  • Format: Inbunden
  • ISBN: 9783032027818
  • Språk: Engelska
  • Utgivningsdatum: 2025-09-29
  • Förlag: Springer

Du kanske gillar

  1. bokomslag Egress Modelling of Pedestrians for the Design of Contemporary Stadia

    Egress Modelling of Pedestrians for t...

    John Gales, Kathryn Chin, Timothy Young, Elisabetta Carattin, Mei-Yee Man Oram

    Inbunden

    2039:-
  2. bokomslag Construction Incentivization

    Construction Incentivization

    Liuying Zhu Sai On Cheung

    Inbunden

    2149:-
  3. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Inbunden

    3229:-
  4. bokomslag Coding Architecture

    Coding Architecture

    Pierpaolo Ruttico

    Inbunden

    2669:-
  5. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Pocket

    2279:-
  6. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Pocket

    3649:-
  7. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, Placido Lizancos Mora

    Inbunden

    3649:-
  8. bokomslag Biodental Engineering II

    Biodental Engineering II

    R M Natal Jorge, J C Reis Campos, Joao Manuel R S Tavares, Mario A P Vaz, Sónia M Santos

    Inbunden

    3389:-
  9. bokomslag Vamos Brincar De Salvar O Mundo?

    Vamos Brincar De Salvar O Mundo?

    Ruivo Aglair Ruivo Aglair

    Pocket

    289:-
  10. bokomslag Understanding Human Errors in Construction Industry

    Understanding Human Errors in Constru...

    Raphael Moura, Franz Knoll, Michael Beer

    Inbunden

    2569:-

Andra av samma författare

  1. bokomslag Designing Therapeutic Environments

    Designing Therapeutic Environments

    Jacqueline Mcintosh Bruno Marques

    Inbunden

    2619:-
  2. bokomslag Designing Therapeutic Environments

    Designing Therapeutic Environments

    Jacqueline Mcintosh Bruno Marques

    Pocket

    749:-
  3. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Inbunden

    3229:-
  4. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Pocket

    2279:-
  5. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, Placido Lizancos Mora

    Inbunden

    3649:-
  6. bokomslag Formal Methods in Architecture

    Formal Methods in Architecture

    Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

    Pocket

    3649:-