Search Results for Space (Architecture). - Narrowed by: Computer-aided engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSpace$002b$002528Architecture$002529.$0026qf$003dSUBJECT$002509Subject$002509Computer-aided$002bengineering.$002509Computer-aided$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list2026-04-16T18:32:49ZFormal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024ent://SD_ILS/0/SD_ILS:6015522026-04-16T18:32:49Z2026-04-16T18:32:49ZAuthor Marques, Bruno. editor. Ruivo, Catarina. editor. Leite Viana, David. editor. (orcid)0000-0002-1877-0332 Vieira Vaz, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-02782-5">https://doi.org/10.1007/978-3-032-02782-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in the Integration of Technology and the Built Environment Select Proceeding of Architecture Across Boundaries 2024ent://SD_ILS/0/SD_ILS:6081932026-04-16T18:32:49Z2026-04-16T18:32:49ZAuthor Han, Jiawen. editor. (orcid)0000-0002-6528-6404 Lombardi, Davide. editor. (orcid)0000-0001-7128-4635 Cece, Alessandro. editor. (orcid)0000-0002-5267-0685 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4749-1">https://doi.org/10.1007/978-981-96-4749-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>