Arama Sonuçları Space (Architecture). - Daraltılmış: Computer-aided engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSpace$002b$002528Architecture$002529.$0026qf$003dSUBJECT$002509Konu$002509Computer-aided$002bengineering.$002509Computer-aided$002bengineering.$0026ps$003d300?dt=list2026-03-27T19:17:48ZAdvances in the Integration of Technology and the Built Environment Select Proceeding of Architecture Across Boundaries 2024ent://SD_ILS/0/SD_ILS:6081932026-03-27T19:17:48Z2026-03-27T19:17:48ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024ent://SD_ILS/0/SD_ILS:6015522026-03-27T19:17:48Z2026-03-27T19:17:48ZYazar Marques, Bruno. editor. Ruivo, Catarina. editor. Leite Viana, David. editor. (orcid)0000-0002-1877-0332 Vieira Vaz, Jorge. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>